sliver v5.0
Changes since v4.0
- C translation: general improvements
- LAbS: Added counting assignment to local variable (e.g., "c := count Agent x, ...")
- LAbS: Improved syntax of link expressions (used for stigmergies and pick instructions)
Additional instructions
After unpacking the zip archive, follow the instructions in README.txt
.