TestSolverEngine (SAT4J core 2.3.3 Test API)

public class TestSolverEngine
extends Object

Constructors
Constructor and Description
`TestSolverEngine()`

Methods
Modifier and Type	Method and Description
`void`	`startUp()`
`void`	`testThatASolverReturnsItself()`
`void`	`testThatItDoesNotWorkForManyCore()`
`void`	`testThatItDoesNotWorkForOutputSolvers()`
`void`	`testThatItWorksWithOneDecorator()`
`void`	`testThatItWorksWithTwoDecorators()`

public void testThatASolverReturnsItself()

public void testThatItWorksWithOneDecorator()

public void testThatItWorksWithTwoDecorators()

public void testThatItDoesNotWorkForManyCore()

public void testThatItDoesNotWorkForOutputSolvers()

Class TestSolverEngine