Package savi.alg.sat3

Class Summary
Clause Object representing a clause.
Formula Class representing boolean formula in CNF.
IntegerReader Read integers from a character-input stream.
 

Exception Summary
WrongFormulaException Signals wrong formula generation.
WrongInputFormulaData Signals that a syntax error occurred in the stream.