public class BugSAT21 extends Object
Constructor and Description |
---|
BugSAT21() |
Modifier and Type | Method and Description |
---|---|
void |
testAlMostWithNegativeLiteralsAsText() |
void |
testAtLeastWithNegativeLiterals() |
void |
testAtLeastWithNegativeLiteralsAsText() |
void |
testAtMostWithNegativeLiterals() |
public void testAtLeastWithNegativeLiteralsAsText() throws ContradictionException
ContradictionException
public void testAtLeastWithNegativeLiterals() throws ContradictionException, TimeoutException
public void testAlMostWithNegativeLiteralsAsText() throws ContradictionException
ContradictionException
public void testAtMostWithNegativeLiterals() throws ContradictionException, TimeoutException
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.