Package | Description |
---|---|
org.sat4j.pb |
Implementations of pseudo boolean solvers
|
org.sat4j.tools |
Tools to be used on top of an
ISolver . |
Modifier and Type | Class and Description |
---|---|
class |
LPStringSolver
Solver used to display in a string the pb-instance in OPB format.
|
class |
OPBStringSolver
Solver used to display in a string the pb-instance in OPB format.
|
class |
UserFriendlyPBStringSolver<T>
Solver to display SAT instances using domain objects names instead of Dimacs
numbers.
|
Modifier and Type | Class and Description |
---|---|
class |
DimacsOutputSolver
Solver used to display in a writer the CNF instance in Dimacs format.
|
class |
DimacsStringSolver
Solver used to write down a CNF into a String.
|
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.