Package | Description |
---|---|
org.sat4j |
Contains a command line launcher for the SAT solvers.
|
org.sat4j.minisat |
Implementation of the MiniSAT specification in Java.
|
org.sat4j.tools |
Tools to be used on top of an
ISolver . |
Modifier and Type | Class and Description |
---|---|
class |
LightFactory
That class is the entry point to the default, best performing configuration
of SAT4J.
|
Modifier and Type | Method and Description |
---|---|
protected <T extends ISolver> |
AbstractLauncher.showAvailableSolvers(ASolverFactory<T> afactory) |
protected <T extends ISolver> |
AbstractLauncher.showAvailableSolvers(ASolverFactory<T> afactory,
String framework) |
Constructor and Description |
---|
BasicLauncher(ASolverFactory<T> factory) |
Modifier and Type | Class and Description |
---|---|
class |
SolverFactory
User friendly access to pre-constructed solvers.
|
Constructor and Description |
---|
AllMUSes(ASolverFactory<? extends ISolver> factory) |
AllMUSes(boolean group,
ASolverFactory<? extends ISolver> factory) |
CheckMUSSolutionListener(ASolverFactory<? extends ISolver> factory) |
ManyCore(ASolverFactory<S> factory,
String... solverNames) |
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.