Reimplemented AI (old one was too slow)

git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@443 72836036-5685-4462-b002-a69064685172

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