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.
|
org.sat4j.pb.constraints.pb |
Implementations of pseudo boolean constraints.
|
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.
|
Modifier and Type | Class and Description |
---|---|
class |
AtLeastPB |
class |
MaxWatchPb
Data structure for pseudo-boolean constraint with watched literals.
|
class |
MaxWatchPbLong
Data structure for pseudo-boolean constraint with watched literals.
|
class |
MaxWatchPbLongCP
Data structure for pseudo-boolean constraint with watched literals.
|
class |
MinWatchCardPB |
class |
MinWatchPb
Data structure for pseudo-boolean constraint with watched literals.
|
class |
MinWatchPbLong
Data structure for pseudo-boolean constraint with watched literals.
|
class |
MinWatchPbLongCP
Data structure for pseudo-boolean constraint with watched literals.
|
class |
PuebloMinWatchPb |
class |
WatchPb
Abstract data structure for pseudo-boolean constraint with watched literals.
|
class |
WatchPbLong |
class |
WatchPbLongCP |
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.