clausetester1
Check formulas in models
Usage
clausetester <interpretations-file>
<
<formulas-file>
>
<annotated-formulas-file>
Overview
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.
Releases
6 releases since Debian 5.0 (Lenny); the text changed 1 time.