Age | Commit message (Expand) | Author |
---|---|---|
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-13 | Restructured fdsolver api and made first test succeed | Jannis Harder |