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

by Michał Antkiewicz, updated on May 13, 2015

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

• Clafer Release Notes,
• ClaferIG Release Notes, 
• Chocosolver Release Notes.

EDIT (May 1, 2015):

• The Clafer Model Wiki now runs Clafer 0.3.10.
• The previews of
  
  • ClaferIDE 0.3.10
  • ClaferConfigurator 0.3.10
  • ClaferMooVisualizer 0.3.10
  are now available for testing. 

We are planning to release the web tools soon. This will be the first web tools release since 0.3.6.1!

EDIT2 (May 13, 2015):

The binaries now contain a HotFix release 0.3.10.1 of the Choco-based backend.

• Chocosolver Release Notes