Age | Commit message (Expand) | Author |
---|---|---|
2011-06-14 | Cache propagators | Jannis Harder |
2011-06-14 | Added TurnLogic with rule variables and constraints | Jannis Harder |
2011-06-14 | Finished solver core | Jannis Harder |
2011-06-13 | Restructured fdsolver api and made first test succeed | Jannis Harder |
2011-06-08 | Created first FD-Solver test | Jannis Harder |