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                         CLAUSETESTER(1)