This is the command clausetester that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator
PROGRAM:
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.
Use clausetester online using onworks.net services