Package | Description |
---|---|
org.sat4j.pb.tools | |
org.sat4j.tools |
Modifier and Type | Class and Description |
---|---|
class |
ManyCorePB |
Modifier and Type | Class and Description |
---|---|
class |
ManyCore<S extends ISolver>
A class allowing to run several solvers in parallel.
|