INTERPFILTER(1) | General Commands Manual | INTERPFILTER(1) |
interpfilter - filter models with formulas
interpfilter <formulas-file> <test> < <interpretations-file> > <passing-interpretations-file>
This manual page documents briefly the interpfilter command.
Given a set of formulas, a test to perform, and a stream of interpretations, interpfilter outputs the interpretations that pass the test.
The following tests are available.
prover9(1), mace4(1).
Full documentation for interpfilter is found in the prover9
manual, available on Debian systems in the prover9-doc package at
/usr/share/doc/prover9-doc/manual/index.html.
interpfilter 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 |