picosat.trace(1) on Linux
The text c0c1f3b5759d, as Debian 13 (Trixie), Debian 12 (Bookworm), Debian 11 (Bullseye), Debian 10 (Buster), Debian 9 (Stretch), Debian 8 (Jessie), Debian 7 (Wheezy), Debian 6.0 (Squeeze) shipped it. The page shows this text now.
SAT solver with proof and core support
Flags it lists
-
--config -
--version -
-T -
-U -
-V -
-a -
-c -
-f -
-i -
-l -
-n -
-o -
-p -
-r -
-s -
-t -
-v