it.unitn.disi.smatch.deciders
Class SAT4J

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

All Implemented Interfaces:

ISATSolver

public class SAT4J
extends java.lang.Object
implements ISATSolver

Constructor Summary

SAT4J()

Method Summary

boolean	isSatisfiable(java.lang.String input) Checks whether input string in DIMACS format is satisfiable.
static void	main(java.lang.String[] args)
void	model(java.lang.String input)

Methods inherited from class java.lang.Object

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

Constructor Detail

SAT4J

public SAT4J()

Method Detail

isSatisfiable

public boolean isSatisfiable(java.lang.String input)

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

model

public void model(java.lang.String input)

main

public static void main(java.lang.String[] args)