org.sat4j.tools

Class RemiUtilsTest

java.lang.Object

org.sat4j.tools.RemiUtilsTest

public class RemiUtilsTest
extends Object

Testcase to check that the problem with unit clauses does no longer occurs. Bug report from Sebastian Henneberg

Constructor Summary

Constructors

Constructor and Description
RemiUtilsTest()

Method Summary

Methods

Modifier and Type	Method and Description
void	testBugUnitClauses()

Methods inherited from class java.lang.Object

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

Constructor Detail

RemiUtilsTest

public RemiUtilsTest()

Method Detail

testBugUnitClauses

public void testBugUnitClauses()
                        throws org.sat4j.specs.ContradictionException,
                               org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException