SAT : EDOP

SAT is an editor command.
Check whether a propositional wff is satisfiable.
 
The command format for SAT is:

<Ed>SAT <<JFORM>>
<<JFORM>>

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage