org.sat4j.pb
Class BugSAT16

java.lang.Object
  org.sat4j.pb.BugSAT16

public class BugSAT16
extends Object

Constructor Summary

BugSAT16()

Method Summary

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