Clafer Tools 0.3.1 Released

by Michal Antkiewicz on October 17, 2012

Clafer Tools 0.3.1 is a simultaneous release of the Clafer compiler, instance generator, multi-objective optimizer, and wiki projects.

The binary distributions of the tools are available for download. Currenlty, ClaferWiki is not available in binary form but it is also included in the package. See installation.

We have also created a public demo installation of ClaferWiki called Clafer Model Wiki, which contains a few small and large example models that demonstrate the features of the wiki. Feel free to sign up and experiment with it.

Changelogs for release 0.3.1

Clafer new features and bug fixes

ClaferIG new features and bug fixes

ClaferWiki new features and bug fixes

Tags:

Our lab is a very exciting place to learn and work!

Moises Branco

This lab is quite diverse. It is comprised of a group of really smart people from all over the world, each with different backgrounds, working in a friendly and welcoming environment. Being part of it has been such an enriching experience.

Jesús Alejandro Padilla Gaeta