org.sat4j.minisat.constraints.cnf
Classes 
BinaryClauses
CBClause
Lits
Lits2
Lits23
MixableCBClause
TernaryClauses
WLClause