Package | Description |
---|---|
org.sat4j.minisat |
Implementation of the MiniSAT specification in Java.
|
org.sat4j.minisat.core |
Implementation of the MiniSAT solver skeleton.
|
org.sat4j.minisat.learning |
Various learning strategies.
|
Modifier and Type | Method and Description |
---|---|
static Solver<DataStructureFactory> |
SolverFactory.newBestWL() |
static Solver<DataStructureFactory> |
SolverFactory.newGlucose() |
static Solver<DataStructureFactory> |
SolverFactory.newMiniLearning(DataStructureFactory dsf,
IOrder order) |
static Solver<DataStructureFactory> |
SolverFactory.newMiniLearningHeap() |
static Solver<DataStructureFactory> |
SolverFactory.newMiniLearningHeap(DataStructureFactory dsf) |
static Solver<DataStructureFactory> |
SolverFactory.newMiniLearningHeapExpSimp() |
static Solver<DataStructureFactory> |
SolverFactory.newMiniLearningHeapRsatExpSimp() |
static Solver<DataStructureFactory> |
SolverFactory.newMiniLearningHeapRsatExpSimpBiere() |
static Solver<DataStructureFactory> |
SolverFactory.newMiniSATHeap() |
static Solver<DataStructureFactory> |
SolverFactory.newMiniSATHeap(DataStructureFactory dsf) |
Modifier and Type | Method and Description |
---|---|
void |
LearningStrategy.setSolver(Solver<D> s) |
Modifier and Type | Method and Description |
---|---|
void |
MiniSATLearning.setSolver(Solver<D> s) |
void |
LimitedLearning.setSolver(Solver<D> s) |
void |
ActiveLearning.setSolver(Solver<D> s) |
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.