org.sat4j.pb
Class BugSat14

java.lang.Object
  org.sat4j.pb.BugSat14

public class BugSat14
extends Object

Constructor Summary

BugSat14()

Method Summary

void	testSatCallAfterExpireTimeout()

Methods inherited from class java.lang.Object

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

Constructor Detail

BugSat14

public BugSat14()

Method Detail

testSatCallAfterExpireTimeout

public void testSatCallAfterExpireTimeout()
                                   throws org.sat4j.specs.ContradictionException

Throws:

org.sat4j.specs.ContradictionException