org.sat4j.minisat.constraints.cnf
Classes

BinaryClauses (50%) CBClause (71,3%) Lits (75,7%) Lits2 (100%) Lits23 (100%) MarkableLits (100%) MixableCBClause (81,8%) TernaryClauses (72,3%) WLClause (84,5%)