satisfiabilityApplet.cnfParser
Classes 
ConjunctionOfDisjunctions
Disjunction
DisjunctionOfConjunctions
DisjunctionVector
Grammar
Literal
Scanner
Variable
VariableModified
Exceptions 
BooleanValueNotSet
ParseError
UnsupportedTypeError