Clafer Tools 0.3.1 Released

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