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.

Method Detail

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