org.sat4j.minisat.core
Class BugThomas

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

public class BugThomas
extends java.lang.Object

Constructor Summary

BugThomas()

Method Summary

void	testBugReport()

Methods inherited from class java.lang.Object

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

Constructor Detail

BugThomas

public BugThomas()

Method Detail

testBugReport

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

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException