Binaries for the Clafer compiler (clafer), Alloy-based instance generator (ClaferIG), and Choco-based instance generator and multi-objective optimizer (chocosolver). The web tools (IDE, wiki, configurator, MOO visualizer) need to be installed from sources. Additionally, Clafer, ClaferIG, and ClaferWiki can now be installed directly from Hackage using Cabal or Stack. See the respective READMEs for instructions.
For best experience on desktop, we recommend using Sublime Text 3 and installing the ClaferToolsST.
This release includes the compiler and ClaferIG 0.4.5, and chocosolver 0.4.4.
See the release announcement.
This release includes the compiler, ClaferIG, and chocosolver. See the release announcement.
This release includes the compiler, ClaferIG, and chocosolver. See the release announcement.
This release includes the compiler, ClaferIG, and chocosolver. ClaferChocoIG is merged into chocosolver and discontinued. See the release announcement.
This release includes the compiler and ClaferIG. ClaferChocoIG is the same as in 0.4.0. See the release announcement.
This major release includes the compiler, ClaferIG, and ClaferChocoIG. See the release announcement.
(updated on May 13)
This release includes the compiler, ClaferIG, and ClaferChocoIG. See the release announcement. The binaries include a HotFix release 0.3.10.1 of the Choco-based backend.
(updated on Mar 30)
This release includes the compiler, ClaferIG, and ClaferChocoIG. See the release announcement.
This release includes the compiler, ClaferIG, and ClaferChocoIG.
We will no longer provide the portable build since Clafer Tools is now an official Sublime Text package.
We also provide a VIM integration.
See the release announcement.
We are moving to a staged release model. First, Haskell-based tools, including the compiler, IG, and the wiki, followed by backends Choco3-based and Z3-based, finally followed by the web tools. The 0.3.6.1 release includes the compiler, all backends, and the wiki.
Important Notice: The zip file includes a distribution of Z3 SMT solver. In order to use it for commercial applications, a separate license must by purchased. It is; however, free for research and academic purposes. See Z3 license.
Additionally, we created w wiki page Guidelines for feature modeling using Clafer.
Installation and Running - see the included README files. If the READMEs don't help or you need a build for Mac or 32 bit linux, email Michał Antkiewicz.
Older binaries are available from ClaferIG Downloads Page.