summaryrefslogtreecommitdiffstats
path: root/test/jrummikub/ai/fdsolver/SolverTest.java
diff options
context:
space:
mode:
Diffstat (limited to 'test/jrummikub/ai/fdsolver/SolverTest.java')
-rw-r--r--test/jrummikub/ai/fdsolver/SolverTest.java27
1 files changed, 0 insertions, 27 deletions
diff --git a/test/jrummikub/ai/fdsolver/SolverTest.java b/test/jrummikub/ai/fdsolver/SolverTest.java
deleted file mode 100644
index ae32b07..0000000
--- a/test/jrummikub/ai/fdsolver/SolverTest.java
+++ /dev/null
@@ -1,27 +0,0 @@
-package jrummikub.ai.fdsolver;
-
-import static org.junit.Assert.assertEquals;
-import jrummikub.ai.fdsolver.constraint.LessThan;
-import jrummikub.ai.fdsolver.constraint.LessThanConst;
-
-import org.junit.Test;
-
-public class SolverTest {
- @Test
- public void test() {
- Solver solver = new Solver();
-
- Var<Integer> x = solver.makeVar(1, 2, 3);
- Var<Integer> y = solver.makeRangeVar(1, 13);
-
- solver.addConstraint(new LessThan<Integer>(false, y, x));
-
- while (solver.solve()) {
- solver.record();
- solver.addConstraint(new LessThanConst<Integer>(false, x, x.getValue()));
- }
- solver.restore();
- assertEquals(2, (int)x.getValue());
- assertEquals(1, (int)y.getValue());
- }
-}