public class Bug275101 extends Object
Constructor and Description |
---|
Bug275101() |
public void testMaxSAtIteratorIfSat() throws ContradictionException, TimeoutException
public void testMaxSAtIterator() throws ContradictionException, TimeoutException
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.