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

WLClause
Lazy data structure for clause using Watched Literals.