org.sat4j.pb
Class BugSAT34

java.lang.Object
  org.sat4j.pb.BugSAT34

public class BugSAT34
extends Object

Constructor Summary

BugSAT34(org.sat4j.specs.ISolver system, String solvername)

Method Summary

static Collection<Object[]>	generateSolvers()
void	testUnitClause()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

BugSAT34

public BugSAT34(org.sat4j.specs.ISolver system,
                String solvername)

Method Detail

generateSolvers

public static Collection<Object[]> generateSolvers()

testUnitClause

public void testUnitClause()