org.sat4j.pb

Class BugSAT32

java.lang.Object

org.sat4j.pb.BugSAT32

public class BugSAT32
extends Object

Constructor Summary

Constructors

Constructor and Description
BugSAT32()

Method Summary

Methods

Modifier and Type	Method and Description
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 org.sat4j.specs.ContradictionException

Throws:

org.sat4j.specs.ContradictionException

testCompetitionCase

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

Throws:

org.sat4j.specs.ContradictionException