escjava.pa.generic
Interfaces 
Abstractor
Prover
Classes 
BinaryDecisionTreeAbstractor
Disjunction
DisjunctionProver
EnumClausesAbstractor
EnumKofN
EnumMaxClausesFindMinAbstractor
EnumNFindK
GenerateMaxClauses