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 ContradictionException, TimeoutException
public void testMaxsatBis() throws ContradictionException, TimeoutException
public void testPartialWeightedMaxsat() throws ContradictionException, TimeoutException
public void testWeightedMinimization() throws ContradictionException, TimeoutException
public void testExampleDavid() throws ContradictionException, TimeoutException
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.