it.unitn.disi.smatch.deciders
Class openSAT

java.lang.Object
  it.unitn.disi.smatch.deciders.openSAT

All Implemented Interfaces:

ISATSolver

public class openSAT
extends java.lang.Object
implements ISATSolver

OpenSAT-based solver.

Author:

Mikalai Yatskevich mikalai.yatskevich@comlab.ox.ac.uk, Aliaksandr Autayeu avtaev@gmail.com

Field Summary

static int

hits

Constructor Summary

openSAT()

Method Summary

boolean	isSatisfiable(java.lang.String input) Checks whether input string in DIMACS format is satisfiable.
static void	reportStats()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

hits

public static int hits

Constructor Detail

openSAT

public openSAT()

Method Detail

isSatisfiable

public boolean isSatisfiable(java.lang.String input)
                      throws SMatchException

Description copied from interface: ISATSolver

Checks whether input string in DIMACS format is satisfiable.

Specified by:

isSatisfiable in interface ISATSolver

Parameters:

input - problem in DIMACS format

Returns:

whether problem is satisfiable

Throws:

SMatchException

reportStats

public static void reportStats()