Tests/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/tests/cardinality/Z3PolyhedronSolverTest.xtend


1
2
3
4
5
6
7
8
9
10

package hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests.cardinality

import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.cardinality.Z3PolyhedronSolver

class Z3PolyhedronSolverTest extends PolyhedronSolverTest {
	
	override protected createSolver() {
		new Z3PolyhedronSolver(false)
	}
}