org.sat4j.minisat.core

Class BugFatih2

java.lang.Object

org.sat4j.minisat.core.BugFatih2

public class BugFatih2
extends Object

Constructor Summary

Constructors

Constructor and Description
BugFatih2()

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

BugFatih2

public BugFatih2()

Method Detail

testBugReport

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

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException