Monday, March 30, 2015

Clafer, ClaferIG, ClaferWiki, ChocoSolver, and ClaferChocoIG 0.3.9 Released

by Michał Antkiewicz

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 --prettify is equivalent to having --useuids and not having --addtypes in ClaferIG.

    No comments:

    Post a Comment