Simply type

    make

to compile.

Type "makewff" without arguments
to get options. You can supply a seed using
the "-seed" flag. By default a seed is
determined using the clock.

  -cnf , -f, -kf are three different
formats. (tableau reads "-f" format;
walksat and gsat read the Dimacs "-cnf" format;
"-kf" is an old format).

Example:

   makewff -f 3 100 430 > tmp.wff

creates a 100 variable, 430 clause 3CNF formula
in the file "tmp.wff".



