it.unitn.disi.smatch.deciders
Interface ISATSolver
- All Known Implementing Classes:
- JSAT, openSAT, openSATcached, SAT4J
public interface ISATSolver
Each SAT solver need to implement only one method
which takes as an input DIMACS string and returns true if it is satisfiable.
- Author:
- Mikalai Yatskevich mikalai.yatskevich@comlab.ox.ac.uk, Aliaksandr Autayeu avtaev@gmail.com
Method Summary |
boolean |
isSatisfiable(java.lang.String input)
Checks whether input string in DIMACS format is satisfiable. |
isSatisfiable
boolean isSatisfiable(java.lang.String input)
throws SMatchException
- Checks whether input string in DIMACS format is satisfiable.
- Parameters:
input
- problem in DIMACS format
- Returns:
- whether problem is satisfiable
- Throws:
SMatchException
© 2010 Knowdive @ DISI