Package | Description |
---|---|
org.sat4j.minisat.constraints.card |
Implementations of cardinality constraints.
|
org.sat4j.minisat.constraints.cnf |
Implementations of clausal constraints.
|
org.sat4j.minisat.core |
Implementation of the MiniSAT solver skeleton.
|
Modifier and Type | Class and Description |
---|---|
class |
AtLeast |
class |
MaxWatchCard |
class |
MinWatchCard |
Modifier and Type | Method and Description |
---|---|
IVec<Undoable> |
Lits.undos(int lit) |
Modifier and Type | Method and Description |
---|---|
IVec<Undoable> |
ILits.undos(int lit)
Retrieve the methods to call when the solver backtracks.
|
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.