org.opt4j.satdecoding
Class DefaultSolver

java.lang.Object
  org.opt4j.satdecoding.sat4j.SAT4JSolver
      org.opt4j.satdecoding.DefaultSolver

All Implemented Interfaces:

Solver

public class DefaultSolver
extends SAT4JSolver

The default SAT/PB solver is the SAT4JSolver with timeout 3600 seconds, fixed length learning with learning size 10, and MiniSAT restarts.

Nested Class Summary

Nested classes/interfaces inherited from class org.opt4j.satdecoding.sat4j.SAT4JSolver

SAT4JSolver.Learning, SAT4JSolver.Restarts

Field Summary

Fields inherited from class org.opt4j.satdecoding.sat4j.SAT4JSolver

constraints, nextVariable, solver, variables

Constructor Summary

DefaultSolver()
Constructs a default solver.

Method Summary

Methods inherited from class org.opt4j.satdecoding.sat4j.SAT4JSolver

addConstraint, addConstraintToSolver, setNVars, solve, toVecInt

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DefaultSolver

public DefaultSolver()

Constructs a default solver.