savi.alg.sat3
Classes 
Clause
Formula
IntegerReader
Exceptions 
WrongFormulaException
WrongInputFormulaData