Deprecated API

Contents

• Deprecated Methods

Deprecated Methods

org.sat4j.specs.IOptimizationProblem.calculateObjective()

org.sat4j.reader.Reader.decode(int[])

org.sat4j.reader.InstanceReader.decode(int[])

org.sat4j.specs.IOptimizationProblem.discard()

org.sat4j.minisat.core.Constr.forwardActivity(double)

org.sat4j.minisat.core.Solver.newVar()

org.sat4j.specs.ISolver.newVar()

org.sat4j.tools.SolverDecorator.newVar()

org.sat4j.minisat.core.RestartStrategy.nextRestartNumberOfConflict()

org.sat4j.reader.Reader.parseInstance(Reader)

org.sat4j.specs.ISolver.printStat(PrintStream, String)

org.sat4j.tools.SolverDecorator.printStat(PrintStream, String)

org.sat4j.tools.ManyCore.printStat(PrintStream, String)