org.sat4j.minisat.constraints.cnf
Classes

BinaryClauses (50%) CBClause (86,3%) Lits (75,7%) Lits2 (100%) Lits23 (100%) MixableCBClause (81,8%) TernaryClauses (74,6%) WLClause (86,6%)