clausetester(1) debian man page | unix.com

CLAUSETESTER(1) 					      General Commands Manual						   CLAUSETESTER(1)

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)