CLAUSEFILTER(1) | General Commands Manual | CLAUSEFILTER(1) |
clausefilter - filter formulas with models
clausefilter <interpretations-file> <test> < <formulas-file> > <passing-formulas-file>
This manual page documents briefly the clausefilter command.
Given a set of interpretations, a test to perform, and a stream of formulas, clausefilter outputs the formulas that pass the test.
The following tests are available.
prover9(1), mace4(1).
Full documentation for clausefilter is found in the prover9
manual, available on Debian systems in the prover9-doc package at
/usr/share/doc/prover9-doc/manual/index.html.
clausefilter was written by William McCune <mccune@cs.unm.edu>
This manual page was written by Peter Collingbourne <peter@pcc.me.uk>, for the Debian project (but may be used by others).
January 20, 2007 |