Home > anldp > anldp -n

anldp(1) -n
implementation of Davis-Putnam propositional satisfiability procedure
-n n   This option is used for first-order model searches. The parameter n specifies the domain size, and
       its presence tells the program to read first-order flattened relational input clauses  instead  of
       propositional clauses.

Tips or Questions?

More Commands:

Powered by ExplainShell