org.jaga.individualRepresentation.booleanFormulas
Classes
BooleanFormulaTree
BooleanFormulaTreeFactory