contracts: change the contract syntax

[nit.git] / lib / ai / README.md

diff --git a/lib/ai/README.md b/lib/ai/README.md
index 81b016d..f9997e1 100644 (file)
--- a/lib/ai/README.md
+++ b/lib/ai/README.md
@@ -1,4 +1,4 @@
-Simple toolkit for artificial intelligence
+Simple library for basic artificial intelligence algorithms

 
 This library provides some frameworks for basic algorithms used for artificial intelligence.
 It offers simple generic classes to extends.
 
 This library provides some frameworks for basic algorithms used for artificial intelligence.
 It offers simple generic classes to extends.

@@ -11,3 +11,4 @@ Contents:
 See the `examples` subdirectory for examples:
 
 * `examples/queens.nit`
 See the `examples` subdirectory for examples:
 
 * `examples/queens.nit`

+* `examples/puzzle.nit`