org.opt4j.satdecoding
Interface Solver

All Known Implementing Classes:

DefaultSolver, PooledSolver, SAT4JSolver

public interface Solver

The Solver is an interface for SAT/PB solvers.

Method Summary

void	addConstraint(Constraint constraint) Adds a Constraint to the Solver.
Model	solve(Order order) Solve the problem defined by the constraints with a given order (branching strategy).

Method Detail

addConstraint

void addConstraint(Constraint constraint)

Adds a Constraint to the Solver.

Parameters:

constraint - the added constraint

solve

Model solve(Order order)
            throws TimeoutException,
                   ContradictionException

Solve the problem defined by the constraints with a given order (branching strategy).

Parameters:

order - the branching strategy

Returns:

a model that represents a feasible solution

Throws:

ContradictionException - if no feasible solution exists

TimeoutException - if a feasible solution cannot be found within a given amount of time