From e06ba8ea1346e5045a34508648ac93150aacb01a Mon Sep 17 00:00:00 2001
From: Jannis Harder <harder@informatik.uni-luebeck.de>
Date: Fri, 17 Jun 2011 17:41:52 +0200
Subject: Reimplemented AI (old one was too slow)

git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@443 72836036-5685-4462-b002-a69064685172
---
 test/jrummikub/ai/fdsolver/SolverTest.java | 27 ---------------------------
 1 file changed, 27 deletions(-)
 delete mode 100644 test/jrummikub/ai/fdsolver/SolverTest.java

(limited to 'test/jrummikub/ai')

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());
-	}
-}
-- 
cgit v1.2.3