| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
