org.sat4j.pb
Class BugSAT21
java.lang.Object
org.sat4j.pb.BugSAT21
public class BugSAT21
- extends Object
- Author:
- sroussel
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
BugSAT21
public BugSAT21()
testAtLeastWithNegativeLiteralsAsText
public void testAtLeastWithNegativeLiteralsAsText()
throws org.sat4j.specs.ContradictionException
- Throws:
org.sat4j.specs.ContradictionException
testAtLeastWithNegativeLiterals
public void testAtLeastWithNegativeLiterals()
throws org.sat4j.specs.ContradictionException,
org.sat4j.specs.TimeoutException
- Throws:
org.sat4j.specs.ContradictionException
org.sat4j.specs.TimeoutException
testAlMostWithNegativeLiteralsAsText
public void testAlMostWithNegativeLiteralsAsText()
throws org.sat4j.specs.ContradictionException
- Throws:
org.sat4j.specs.ContradictionException
testAtMostWithNegativeLiterals
public void testAtMostWithNegativeLiterals()
throws org.sat4j.specs.ContradictionException,
org.sat4j.specs.TimeoutException
- Throws:
org.sat4j.specs.ContradictionException
org.sat4j.specs.TimeoutException
Copyright © 2012 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.