| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 ↵ | kr.angelov | |
| are always listed in decreasing probability order. There is also an API for generation from Python | |||
