Package | Description |
---|---|
org.sat4j.minisat.constraints.cnf | |
org.sat4j.pb.constraints.pb |
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.
|
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.
|
LearntBinaryClause |
LearntHTClause |
OriginalBinaryClause |
OriginalHTClause |
UnitClause |
UnitClauses |