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

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.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.