This is the command interpfilter 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
interpfilter - filter models with formulas
SYNOPSIS
interpfilter <formulas-file> <test> < <interpretations-file> > <passing-interpretations-
file>
DESCRIPTION
This manual page documents briefly the interpfilter command.
Given a set of formulas, a test to perform, and a stream of interpretations, interpfilter
outputs the interpretations that pass the test.
TESTS
The following tests are available.
all_true
All formulas true in given interpretation.
some_true
Some formula true in given interpretation.
all_false
All formulas false in given interpretation.
some_false
Some formula false in given interpretation.
Use interpfilter online using onworks.net services
