The Clafer compiler, Alloy-based instance generator, and wiki 0.3.9 are released on Hackage (clafer, claferIG, claferwiki). The Choco-based instance generator and multi-objective optimizer 0.3.9 is also released. Binary builds are available from Clafer Tools - Binary Distributions.
We also updated the plugin for Sublime Text 2/3.
For details of changes see
UPDATE: On Mar 30, 2015, we have updated the release of the chocosolver and ClaferChocoIG projects and uploaded new binaries. The chocosolver now implements the modulo division (reminder) function. Both now produce output consistent with
ClaferIG --useuids --addtypes. The option
--prettifyis equivalent to having
--useuidsand not having