summaryrefslogtreecommitdiffstats
path: root/test/jrummikub/ai/fdsolver
diff options
context:
space:
mode:
Diffstat (limited to 'test/jrummikub/ai/fdsolver')
-rw-r--r--test/jrummikub/ai/fdsolver/SolverTest.java28
1 files changed, 28 insertions, 0 deletions
diff --git a/test/jrummikub/ai/fdsolver/SolverTest.java b/test/jrummikub/ai/fdsolver/SolverTest.java
new file mode 100644
index 0000000..3798423
--- /dev/null
+++ b/test/jrummikub/ai/fdsolver/SolverTest.java
@@ -0,0 +1,28 @@
+package jrummikub.ai.fdsolver;
+
+import static org.junit.Assert.assertEquals;
+
+import java.util.Arrays;
+
+import org.junit.Test;
+
+public class SolverTest {
+ @Test
+ public void test() {
+ Solver solver = new Solver();
+
+ Var<Integer> x = new Var<Integer>(solver, Arrays.asList(1, 2, 3));
+ Var<Integer> y = Var.range(solver, 1,13);
+
+ Constraints.lessThan(solver, y, x);
+
+ while(solver.solve()) {
+ solver.push();
+ Constraints.lessThan(solver, x, x.getValue());
+ }
+ solver.pop();
+
+ assertEquals(2, (int)x.getValue());
+ assertEquals(1, (int)y.getValue());
+ }
+}