This is the command clausefilter 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
clausefilter - filter formulas with models
SYNOPSIS
clausefilter <interpretations-file> <test> < <formulas-file> > <passing-formulas-file>
DESCRIPTION
This manual page documents briefly the clausefilter command.
Given a set of interpretations, a test to perform, and a stream of formulas, clausefilter
outputs the formulas that pass the test.
TESTS
The following tests are available.
true_in_all
Formula true in all interpretations.
true_in_some
Formula true in some interpretation.
false_in_all
Formula false in all interpretations.
false_in_some
Formula false in some interpretation.
Use clausefilter online using onworks.net services
