Walksat Instructions

Currently the solver code is compiled for sparc (sun4), i86pc, and sgi. Let us know if you want it compiled for another architecture. Here's an example of how to use it:

set dir=/usr/project/courses/cps271/sat-pack
$dir/bin/i86pc/walksat -solcnf < $dir/wffs/sat.200.cnf

It outputs a bunch of information concerning settings and then prints:

        ASSIGNMENT FOUND
        v -1
        v 2
        ...
        v 198
        v 199
        v 200

(or something similar, since there is more than one assignment that works).

Here's what it does if the formula is not satisfiable.

$dir/bin/i86pc/walksat -solcnf < $dir/wffs/unsat.200.cnf

This one works a bit harder, then prints:

        ASSIGNMENT NOT FOUND