Package | Description |
---|---|
org.sat4j.pb |
Implementations of pseudo boolean solvers
|
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.
|
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.