org.jaga.individualRepresentation.booleanFormulas
Classes 
BooleanFormulaTree
BooleanFormulaTreeFactory