NAME
clausetester - check formulas in models
SYNOPSIS
clausetester <interpretations-file> < <formulas-file> > <annotated-
formulas-file>
DESCRIPTION
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.
SEE ALSO
prover9(1), mace4(1).
Full documentation for clausetester is found in the prover9 manual,
available on Debian systems in the prover9-doc package at
/usr/share/doc/prover9-doc/manual/index.html.
AUTHOR
clausetester 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