| Age | Commit message (Expand) | Author |
|---|---|---|
| 2010-10-11 | update NQueens to use: 1) lists i.e. [Nat]; 2) implicit arguments | 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 |
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |