|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use org.sat4j.minisat.constraints.cnf | |
|---|---|
| org.sat4j.minisat.constraints.cnf | Implementations of clausal contraints. |
| Classes in org.sat4j.minisat.constraints.cnf used by org.sat4j.minisat.constraints.cnf | |
|---|---|
| BinaryClause
Data structure for binary clause. |
|
| CBClause
|
|
| 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. |
|
| Lits
|
|
| Lits2
|
|
| OriginalBinaryClause
SAT4J: a SATisfiability library for Java Copyright (C) 2004-2008 Daniel Le Berre All rights reserved. |
|
| OriginalHTClause
|
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||