Home > anldp > anldp -k

anldp(1) -k
implementation of Davis-Putnam propositional satisfiability procedure
-k n   Allocate at most n kbytes for storage of clauses.

Tips or Questions?

More Commands:


Powered by ExplainShell