1CLAUSETESTER(1)             General Commands Manual            CLAUSETESTER(1)
2
3
4

NAME

6       clausetester - check formulas in models
7

SYNOPSIS

9       clausetester <interpretations-file> < <formulas-file> > <annotated-for‐
10       mulas-file>
11

DESCRIPTION

13       This manual page documents briefly the clausetester command.
14
15       This program takes a set of interpretations and stream of formulas. For
16       each  formula,  the  interpretations  in  which the formula is true are
17       shown, and at the end the number of formulas true in  each  interpreta‐
18       tion is shown.
19

SEE ALSO

21       prover9(1), mace4(1).
22       Full  documentation  for  clausetester  is found in the prover9 manual,
23       available  on  Debian   systems   in   the   prover9-doc   package   at
24       /usr/share/doc/prover9-doc/manual/index.html.
25

AUTHOR

27       clausetester was written by William McCune <mccune@cs.unm.edu>
28
29       This    manual    page    was    written    by    Peter   Collingbourne
30       <pcc03@doc.ic.ac.uk>, for the Debian project (but may be used  by  oth‐
31       ers).
32
33
34
35                               January 20, 2007                CLAUSETESTER(1)