org.sat4j.pb

Class BugSAT34

java.lang.Object

org.sat4j.pb.BugSAT34

public class BugSAT34
extends Object

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
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()