Age | Commit message (Expand) | Author |
---|---|---|
2011-06-17 | Implemented getResult and abort in TurnLogic | Jannis Harder |
2011-06-17 | Reimplemented AI (old one was too slow) | Jannis Harder |
2011-06-14 | Implemented initial meld test using new AI | Jannis Harder |
2011-06-14 | Several speed optimizations | Jannis Harder |
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 |