clausefilter(1)

Usage

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.

`true_in_all`	Formula true in all interpretations.
`true_in_some`	Formula true in some interpretation.
`false_in_all`	Formula false in all interpretations.
`false_in_some`	Formula false in some interpretation.

6 releases since Debian 5.0 (Lenny); the text changed 1 time.