| Age | Commit message (Expand) | Author |
|---|---|---|
| 2013-09-16 | Remove contribs and examples | john.j.camilleri |
| 2010-11-12 | operations in the abstract syntax | krasimir |
| 2010-03-24 | even simpler version of NQueens | krasimir |
| 2010-03-24 | the Plus predicate from NQueens is replaced with definition for function plus | krasimir |
| 2010-03-21 | the NQueens algorithm written in GF | krasimir |
