org.sat4j.minisat.core
Class BugFatih2

java.lang.Object
  org.sat4j.minisat.core.BugFatih2

public class BugFatih2
extends Object

Constructor Summary

BugFatih2()

Method Summary

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 ContradictionException,
                          TimeoutException

Throws:

ContradictionException

TimeoutException