| Age | Commit message (Expand) | Author |
|---|---|---|
| 2013-01-07 | a new reasoner in the C runtime. It supports tabling which makes it decideabl... | kr.angelov |
| 2012-12-14 | debugging infrastructure in the reasoner | kr.angelov |
| 2012-12-14 | bugfix for the reasoner in the C runtime | kr.angelov |
| 2012-12-14 | The first prototype for exhaustive generation in the C runtime. The trees are... | kr.angelov |
