minisat+(1) on Linux
The text 9d86763e8201, 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.
A Solver for Pseudo-Boolean Constraints
Flags it lists
-
-1 -
-A -
-M -
-a -
-adders -
-all -
-ansi -
-bdd -
-bdds -
-bias -
-ca -
-cb -
-cm -
-cnf -
-cs -
-first -
-ga -
-gb -
-gm -
-goal -
-gs -
-minisat -
-mixed -
-of -
-old-fmt -
-p -
-pbvars -
-s -
-satlive -
-sort-thres -
-sorters -
-thres -
-w -
-weak-off