org.sat4j.pb
Class BugSAT32

java.lang.Object
  org.sat4j.pb.BugSAT32

public class BugSAT32
extends Object

Constructor Summary

BugSAT32()

Method Summary

void	testClassicalCase()
void	testCompetitionCase()

Methods inherited from class java.lang.Object

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

Constructor Detail

BugSAT32

public BugSAT32()

Method Detail

testClassicalCase

public void testClassicalCase()
                       throws ContradictionException

Throws:

ContradictionException

testCompetitionCase

public void testCompetitionCase()
                         throws ContradictionException

Throws:

ContradictionException