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

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

Package	Description
org.sat4j.minisat.constraints.cnf	Implementations of clausal constraints.

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

Class and Description
BinaryClause Data structure for binary clause.
HTClause Lazy data structure for clause using the Head Tail data structure from SATO, The original scheme is improved by avoiding moving pointers to literals but moving the literals themselves.
OriginalBinaryClause
OriginalHTClause
OriginalWLClause
WLClause Lazy data structure for clause using Watched Literals.