STEP 1:

If you already have minisat, you can skip STEP 1 and make a config.lisp file in
this directory with one line of the form

(setq *minisat-binary* "<fullpath to minisat binary>")

Otherwise, build minisat as follows:

cd minisat/simp

gmake rs or make rs

If this fails, try

gmake r or make r

If these fail, try 

cd ../core

and try gmake rs, make rs, gmake r or make r until one works.

STEP 2:

Make the satallax executable:

sbcl --load make.lisp

The executable should be

bin/satallax

STEP 3:

Test satallax using the examples in the script file:

test

As long as you don't see a line with the word ERROR, it should be working.
