STEP 1:

Compile minisat

cd minisat/simp

make

STEP 2:

Run the configure script for Satallax.

./configure

STEP 3:

make

uses ocamlopt to make a standalone executable

./bin/satallax.opt

and uses ocamlc to make a bytecode executable

./bin/satallax

that depends on ocamlrun

STEP 4:

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.

