Age | Commit message (Collapse) | Author | |
---|---|---|---|
2011-06-14 | Several speed optimizations | Jannis Harder | |
git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@438 72836036-5685-4462-b002-a69064685172 | |||
2011-06-14 | Cache propagators | Jannis Harder | |
git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@437 72836036-5685-4462-b002-a69064685172 | |||
2011-06-14 | Added TurnLogic with rule variables and constraints | Jannis Harder | |
git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@436 72836036-5685-4462-b002-a69064685172 | |||
2011-06-13 | Restructured fdsolver api and made first test succeed | Jannis Harder | |
git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@423 72836036-5685-4462-b002-a69064685172 |