org.sat4j.minisat.core

Class BugFatih

java.lang.Object

org.sat4j.minisat.core.BugFatih

public class BugFatih
extends Object

Constructor Summary

Constructors

Constructor and Description
BugFatih()

Method Summary

Methods

Modifier and Type	Method and Description
void	testBugReport()

Methods inherited from class java.lang.Object

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

Constructor Detail

BugFatih

public BugFatih()

Method Detail

testBugReport

public void testBugReport()
                   throws org.sat4j.specs.ContradictionException,
                          org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException