 krasimir
|
fe1205059b
|
operations in the abstract syntax
|
2010-11-12 19:37:19 +00:00 |
|
|
krasimir
|
1c36f1fa8d
|
generalize the nqueens function in NQueens.gf
|
2010-10-13 17:53:44 +00:00 |
|
|
krasimir
|
2ab3081c07
|
add start category S in NQueens. This helps the EditorApp to find the start category
|
2010-10-13 13:53:29 +00:00 |
|
|
krasimir
|
edf46e3a4d
|
use "-" and ";" instead of "_" and "\n" in NQueens
|
2010-10-13 13:47:22 +00:00 |
|
|
krasimir
|
c145f18a19
|
update NQueens to use: 1) lists i.e. [Nat]; 2) implicit arguments
|
2010-10-11 17:17:04 +00:00 |
|
|
krasimir
|
69535e2b6b
|
even simpler version of NQueens
|
2010-03-24 21:04:37 +00:00 |
|
|
krasimir
|
925fb9dc85
|
the Plus predicate from NQueens is replaced with definition for function plus
|
2010-03-24 16:14:36 +00:00 |
|
|
krasimir
|
f4d3da0ccc
|
the NQueens algorithm written in GF
|
2010-03-21 19:01:57 +00:00 |
|