Changeset 4439
- Timestamp:
- 08/20/08 04:55:29 (5 months ago)
- Location:
- trunk
- Files:
-
- 8 added
- 1 modified
-
examples/constraints/eclipse (added)
-
examples/constraints/eclipse/loader.lgt (added)
-
examples/constraints/eclipse/NOTES.txt (added)
-
examples/constraints/eclipse/puzzle.lgt (added)
-
examples/constraints/eclipse/SCRIPT.txt (added)
-
examples/constraints/eclipse/steiner.lgt (added)
-
examples/constraints/eclipse/tomography.lgt (added)
-
examples/constraints/eclipse/zebra.lgt (added)
-
RELEASE_NOTES.txt (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/RELEASE_NOTES.txt
r4436 r4439 50 50 51 51 Added a new set of examples, "constraints", illustrating how to use the 52 Constraint Domain Solver libraries available with B-Prolog, GNU Prolog,53 SWI-Prolog, and YAP. Thanks to Markus Triska for his help with the YAP54 and SWI-Prolog CLP(FD) examples.52 Constraint Domain Solver libraries available with B-Prolog, ECLiPSe, 53 GNU Prolog, SWI-Prolog, and YAP. Thanks to Markus Triska for his help 54 with the YAP and SWI-Prolog CLP(FD) examples. 55 55 56 56
