Uses of Package
org.sat4j.minisat.constraints.cnf

Packages that use org.sat4j.minisat.constraints.cnf

org.sat4j.minisat.constraints.cnf	Implementations of clausal contraints.
org.sat4j.minisat.constraints.pb	Implementations of pseudo boolean contraints.

Classes in org.sat4j.minisat.constraints.cnf used by org.sat4j.minisat.constraints.cnf

CBClause

Lits

Lits2

WLClause
Lazy data structure for clause using Watched Literals.

Classes in org.sat4j.minisat.constraints.cnf used by org.sat4j.minisat.constraints.pb

CBClause

MixableCBClause
Counter Based clauses that can be mixed with WLCLauses

WLClause
Lazy data structure for clause using Watched Literals.