picosat(1) on Linux
The text eb74ab4bbb25, as Debian 5.0 (Lenny) shipped it.
SAT solver with proof and core support
Flags it lists
-
--config -
--version -
-T -
-U -
-V -
-a -
-c -
-f -
-l -
-n -
-o -
-r -
-s -
-t -
-v