public class BugSAT34 extends Object
BugSAT34(ISolver system, String solvername)
static Collection<Object[]>
generateSolvers()
void
testUnitClause()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public BugSAT34(ISolver system, String solvername)
public static Collection<Object[]> generateSolvers()
public void testUnitClause()
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.