blob: 49b916d3a8b83ea64dc7f22ee5b8f76abdff6dda (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
package hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests.cardinality
import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.cardinality.Z3PolyhedronSolver
class Z3PolyhedronSolverTest extends IntegerPolyhedronSolverTest {
override protected createSolver() {
new Z3PolyhedronSolver(false, 10)
}
}
class RelaxedZ3PolyhedronSolverTest extends RelaxedPolyhedronSolverTest {
override protected createSolver() {
new Z3PolyhedronSolver(true, 10)
}
}
|