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.

Method Detail

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).