anldp(1) on Linux
The text e81ab9f3ae5c, as Debian 8 (Jessie), Debian 7 (Wheezy), Debian 6.0 (Squeeze), Debian 5.0 (Lenny) shipped it. The page shows this text now.
implementation of Davis-Putnam propositional satisfiability procedure
Flags it lists
-
-B -
-R -
-b -
-k -
-m -
-n -
-p -
-s -
-t -
-x