Interface SatSolver
- All Known Implementing Classes:
- MySatSolver
- public interface SatSolver
This is the interface defining a SatSolver object. Every
SatSolver must include a method solve for solving CNF
satisfiability problems.
Method Summary |
boolean[] |
solve(Literal[][] cnf,
Timer timer)
This is the method for solving satifiability problems. |
solve
public boolean[] solve(Literal[][] cnf,
Timer timer)
- This is the method for solving satifiability problems. This
method should return something by when time runs out on the
given timer object (or very soon thereafter).