org.sat4j

Class BugSAT81

java.lang.Object

org.sat4j.BugSAT81

public class BugSAT81
extends Object

Constructor Summary

Constructors

Constructor and Description
BugSAT81()

Method Summary

Methods

Modifier and Type	Method and Description
void	setUp()
void	testSimplePhoneSATSmall()

Methods inherited from class java.lang.Object

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

Constructor Detail

BugSAT81

public BugSAT81()

Method Detail

setUp

public void setUp()
           throws Exception

Throws:

Exception

testSimplePhoneSATSmall

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

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException