org.sat4j.pb

Class BugSAT16

java.lang.Object

org.sat4j.pb.BugSAT16

public class BugSAT16
extends Object

Constructor Summary

Constructors

Constructor and Description
BugSAT16()

Method Summary

Methods

Modifier and Type	Method and Description
void	testCNFCase()
void	testPBCase()

Methods inherited from class java.lang.Object

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

Constructor Detail

BugSAT16

public BugSAT16()

Method Detail

testCNFCase

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

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testPBCase

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

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException