it.unitn.disi.smatch.deciders
Class JSAT

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

All Implemented Interfaces:

ISATSolver

public class JSAT
extends java.lang.Object
implements ISATSolver

JSAT-based solver.

Author:

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

Constructor Summary

JSAT()

Method Summary

boolean

isSatisfiable(java.lang.String input) This method can be used to call the JSAT library.

Methods inherited from class java.lang.Object

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

Constructor Detail

JSAT

public JSAT()

Method Detail

isSatisfiable

public boolean isSatisfiable(java.lang.String input)

This method can be used to call the JSAT library.

Specified by:

isSatisfiable in interface ISATSolver

Parameters:

input - The String that contains sat problem in DIMACS's format

Returns:

boolean True if the formula is satisfiable, false otherwise