summaryrefslogtreecommitdiffstats
path: root/src/jrummikub/ai/fdsolver/constraint
AgeCommit message (Collapse)Author
2011-06-14Several speed optimizationsJannis Harder
git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@438 72836036-5685-4462-b002-a69064685172
2011-06-14Cache propagatorsJannis Harder
git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@437 72836036-5685-4462-b002-a69064685172
2011-06-14Added TurnLogic with rule variables and constraintsJannis Harder
git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@436 72836036-5685-4462-b002-a69064685172
2011-06-13Restructured fdsolver api and made first test succeedJannis Harder
git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@423 72836036-5685-4462-b002-a69064685172