bionic (1) clausetester.1.gz

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)