public class BugSAT25 extends Object
Constructor and Description |
---|
BugSAT25() |
Modifier and Type | Method and Description |
---|---|
void |
testReaderFromDimacsReader() |
void |
testReaderFromInstanceReader() |
void |
testReaderFromLecteurDimacs() |
public void testReaderFromInstanceReader() throws ParseFormatException, ContradictionException, IOException
public void testReaderFromDimacsReader() throws ParseFormatException, ContradictionException, IOException, TimeoutException
public void testReaderFromLecteurDimacs() throws ParseFormatException, ContradictionException, IOException, TimeoutException
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.