org.sat4j

Class BugSAT37

java.lang.Object

org.sat4j.BugSAT37

public class BugSAT37
extends Object

Constructor Summary

Constructors

Constructor and Description
BugSAT37()

Method Summary

Methods

Modifier and Type	Method and Description
void	testSolver()

Methods inherited from class java.lang.Object

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

Constructor Detail

BugSAT37

public BugSAT37()

Method Detail

testSolver

public void testSolver()