Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
X
O
obj
- Variable in class org.sat4j.minisat.core.
Handle
ObjectiveFunction
- Class in
org.sat4j.reader
Abstraction for an Objective Function for Pseudo Boolean Optimization.
ObjectiveFunction(IVecInt, IVec<BigInteger>)
- Constructor for class org.sat4j.reader.
ObjectiveFunction
onCurrentDecisionLevelLiteral(int)
- Method in interface org.sat4j.minisat.core.
AssertingClauseGenerator
hook method called when a literal from the current decision lelvel is found.
onCurrentDecisionLevelLiteral(int)
- Method in class org.sat4j.minisat.uip.
DecisionUIP
onCurrentDecisionLevelLiteral(int)
- Method in class org.sat4j.minisat.uip.
FirstUIP
OPBReader2005
- Class in
org.sat4j.reader
"Official" reader for the Pseudo Boolean evaluation 2005.
OPBReader2005(ISolver)
- Constructor for class org.sat4j.reader.
OPBReader2005
OPBReader2006
- Class in
org.sat4j.reader
Reader complying to the PB06 input format.
OPBReader2006(ISolver)
- Constructor for class org.sat4j.reader.
OPBReader2006
OR
- Static variable in class org.sat4j.reader.
ExtendedDimacsReader
org.sat4j
- package org.sat4j
Contain a command line launcher for the SAT solvers.
org.sat4j.core
- package org.sat4j.core
Implementation of the data structures available in org.sat4j.specs.
org.sat4j.minisat
- package org.sat4j.minisat
Implementation of the MiniSAT specification in Java.
org.sat4j.minisat.constraints
- package org.sat4j.minisat.constraints
Implementations of various constraints for MiniSAT.
org.sat4j.minisat.constraints.card
- package org.sat4j.minisat.constraints.card
Implementations of cardinality contraints.
org.sat4j.minisat.constraints.cnf
- package org.sat4j.minisat.constraints.cnf
Implementations of clausal contraints.
org.sat4j.minisat.constraints.pb
- package org.sat4j.minisat.constraints.pb
Implementations of pseudo boolean contraints.
org.sat4j.minisat.core
- package org.sat4j.minisat.core
Implementation of the MiniSAT solver skeleton.
org.sat4j.minisat.learning
- package org.sat4j.minisat.learning
Various learning strategies.
org.sat4j.minisat.orders
- package org.sat4j.minisat.orders
Various heuristics to select the next variable to branch on.
org.sat4j.minisat.uip
- package org.sat4j.minisat.uip
Various ways to compute an asserting clause (containing one Unique Implication Point).
org.sat4j.opt
- package org.sat4j.opt
Optimization extensions.
org.sat4j.reader
- package org.sat4j.reader
Some utility classes to read problems from plain text files.
org.sat4j.specs
- package org.sat4j.specs
Those classes are intented for users dealing with SAT solvers as blackboxes.
org.sat4j.tools
- package org.sat4j.tools
Tools to be used on top of an ISolver.
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
X