public class TestDavid extends Object
Constructor and Description |
---|
TestDavid() |
Modifier and Type | Method and Description |
---|---|
void |
testExampleDavid() |
void |
testMaxsat() |
void |
testMaxsatBis() |
void |
testPartialWeightedMaxsat() |
void |
testWeightedMinimization() |
public void testMaxsat() throws org.sat4j.specs.ContradictionException, org.sat4j.specs.TimeoutException
public void testMaxsatBis() throws org.sat4j.specs.ContradictionException, org.sat4j.specs.TimeoutException
public void testPartialWeightedMaxsat() throws org.sat4j.specs.ContradictionException, org.sat4j.specs.TimeoutException
public void testWeightedMinimization() throws org.sat4j.specs.ContradictionException, org.sat4j.specs.TimeoutException
public void testExampleDavid() throws org.sat4j.specs.ContradictionException, org.sat4j.specs.TimeoutException
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.