Age | Commit message (Collapse) | Author | |
---|---|---|---|
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-14 | Finished solver core | Jannis Harder | |
git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@428 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 | |||
2011-06-08 | Created first FD-Solver test | Jannis Harder | |
git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@385 72836036-5685-4462-b002-a69064685172 |