minisat(1) on Linux
The text 63be8e187d39, as Debian 13 (Trixie), Debian 12 (Bookworm), Debian 11 (Bullseye), Debian 10 (Buster), Debian 9 (Stretch), Debian 8 (Jessie), Debian 7 (Wheezy) shipped it. The page shows this text now.
fast and lightweight SAT solver
Flags it lists
-
-asymm -
-ccmin-mode -
-cl-lim -
-cla-decay -
-cpu-lim -
-dimacs -
-elim -
-gc-frac -
-grow -
-luby -
-mem-lim -
-no-asymm -
-no-elim -
-no-luby -
-no-pre -
-no-rcheck -
-no-rnd-init -
-phase-saving -
-pre -
-rcheck -
-rfirst -
-rinc -
-rnd-freq -
-rnd-init -
-rnd-seed -
-simp-gc-frac -
-sub-lim -
-var-decay -
-verb