net.sf.javailp
Class SolverSAT4J

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

All Implemented Interfaces:

Solver

public class SolverSAT4J
extends AbstractSolver

The SolverCPLEX is the Solver SAT4J.

Nested Class Summary

static interface

SolverSAT4J.Hook The Hook for the SolverSAT4J.

Field Summary

Fields inherited from interface net.sf.javailp.Solver

POSTSOLVE, TIMEOUT, VERBOSE

Constructor Summary

SolverSAT4J()

Method Summary

void	addHook(SolverSAT4J.Hook hook) Adds a hook.
void	removeHook(SolverSAT4J.Hook hook) Removes a hook
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

SolverSAT4J

public SolverSAT4J()

Method Detail

addHook

public void addHook(SolverSAT4J.Hook hook)

Adds a hook.

Parameters:

hook - the hook to be added

removeHook

public void removeHook(SolverSAT4J.Hook hook)

Removes a hook

Parameters:

hook - the hook to be removed

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