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) } }