The Clafer compiler, Alloy-based instance generator, and wiki 0.3.10 are released on Hackage (clafer, claferIG, claferwiki). The Choco-based instance generator and multi-objective optimizer 0.3.10.1 is also released. Binary builds are available from Clafer Tools - Binary Distributions.
We also updated Clafer mode for Emacs.
For details of changes see
- The Clafer Model Wiki now runs Clafer 0.3.10.
- The previews of
EDIT2 (May 13, 2015):
The binaries now contain a HotFix release 0.3.10.1 of the Choco-based backend.