clausetester(1) check formulas in models


clausetester <interpretations-file> < <formulas-file> > <annotated-formulas-file>


This manual page documents briefly the clausetester command.

This program takes a set of interpretations and stream of formulas. For each formula, the interpretations in which the formula is true are shown, and at the end the number of formulas true in each interpretation is shown.


clausetester was written by William McCune <[email protected]>

This manual page was written by Peter Collingbourne <[email protected]>, for the Debian project (but may be used by others).