net.sf.javailp
Class SolverMiniSat

java.lang.Object
  net.sf.javailp.AbstractSolver
      net.sf.javailp.SolverMiniSat

All Implemented Interfaces:

Solver

public class SolverMiniSat
extends AbstractSolver

The SolverMiniSat is the Solver MiniSat+.

See Also:

http://minisat.se/MiniSat+.html

Field Summary

Fields inherited from interface net.sf.javailp.Solver

POSTSOLVE, TIMEOUT, VERBOSE

Constructor Summary

SolverMiniSat()
Constructs a minisat+ solver.

Method Summary

Result

solve(Problem problem) Solve the optimization problem.

Methods inherited from class net.sf.javailp.AbstractSolver

getParameters, setParameter

Methods inherited from class java.lang.Object

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

Constructor Detail

SolverMiniSat

public SolverMiniSat()

Constructs a minisat+ solver.

Method Detail

solve

public Result solve(Problem problem)

Description copied from interface: Solver

Solve the optimization problem. Returns null if there exists no feasible solution for the problem.

Parameters:

problem - the optimization problem

Returns:

the result