Satz-Rand
-
Satz-rand is the randomized-restart version of Chu
Min Li's satz solver for propositional satisfiability. Satz-rand
is maintained by Henry
Kautz.
-
Download the source distribution for satz-rand version 5.0 by right
clicking here.
-
You can also obtain a copy from http://www.satlib.org/.
-
Satz-rand compiles under Sun Unix, SGI Unix, and Linux, as well as NT using
the CYGWIN Unix-compatibility package.