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.

Clafer Compiler 0.5.0

This release includes the compiler 0.5.0.
See the release announcement.

• clafer-compiler-0.5.0-linux-x86_64.zip uploaded on Feb 1, 2018

Clafer Tools 0.4.5

This release includes the compiler and ClaferIG 0.4.5, and chocosolver 0.4.4.
See the release announcement.

• clafer-tools-0.4.5-win-x86_64.zip (includes Alloy 4.2 and chocosolver jars) uploaded on Mar 17, 2017
• clafer-tools-0.4.5-linux-x86_64.zip (includes Alloy 4.2 and chocosolver jars) uploaded on Mar 14, 2017
• clafer-tools-0.4.5-osx-x86_64.zip (includes Alloy 4.2 and chocosolver jars) uploaded on Mar 21, 2017

Clafer Tools 0.4.4

This release includes the compiler, ClaferIG, and chocosolver. See the release announcement.

• clafer-tools-0.4.4-win64.zip (includes Alloy 4.2 and chocosolver jars) uploaded on Sep 19, 2016
• clafer-tools-0.4.4-linux-x86_64.zip (includes Alloy 4.2 and chocosolver jars) uploaded on Sep 19, 2016
• clafer-tools-0.4.4-mac-x86_64.zip (includes Alloy 4.2 and chocosolver jars) uploaded on Sep 19, 2016

Clafer Tools 0.4.3

This release includes the compiler, ClaferIG, and chocosolver. See the release announcement.

• clafer-tools-0.4.3-win32.zip (includes Alloy 4.2 and chocosolver jars) uploaded on Dec 22, 2015
• clafer-tools-0.4.3-linux-x86_64.zip (includes Alloy 4.2 and chocosolver jars) uploaded on Dec 22, 2015
• clafer-tools-0.4.3-mac-x86_64.zip (includes Alloy 4.2 and chocosolver jars) uploaded on Jan 06, 2016

Clafer Tools 0.4.2.1

This release includes the compiler, ClaferIG, and chocosolver. ClaferChocoIG is merged into chocosolver and discontinued. See the release announcement.

• clafer-tools-0.4.2.1-win32.zip (includes Alloy 4.2 and chocosolver jars) uploaded on Nov 03, 2015
• clafer-tools-0.4.2.1-linux-x86_64.zip (includes Alloy 4.2 and chocosolver jars) uploaded on Nov 03, 2015
• clafer-tools-0.4.2.1-mac-x86_64.zip (includes Alloy 4.2 and chocosolver jars) uploaded on Nov 03, 2015

Clafer Tools 0.4.1

This release includes the compiler and ClaferIG. ClaferChocoIG is the same as in 0.4.0. See the release announcement.

• clafer-tools-0.4.1-win32.zip (includes Alloy 4.2 and ClaferChocoIG jars) uploaded on Sep 01, 2015
• clafer-tools-0.4.1-linux-x86_64.zip (includes Alloy 4.2 and ClaferChocoIG jars) uploaded on Sep 04, 2015
• clafer-tools-0.4.1-mac-x86_64.zip (includes Alloy 4.2 and ClaferChocoIG jars) uploaded on Sep 05, 2015

Clafer Tools 0.4.0

This major release includes the compiler, ClaferIG, and ClaferChocoIG. See the release announcement.

• clafer-tools-0.4.0-win32.zip (includes Alloy 4.2 and ClaferChocoIG jars) uploaded on Jul 29, 2015
• clafer-tools-0.4.0-linux-x86_64.zip (includes Alloy 4.2 and ClaferChocoIG jars) uploaded on Jul 29, 2015
• clafer-tools-0.4.0-mac-x86_64.zip (includes Alloy 4.2 and ClaferChocoIG jars) uploaded on Jul 29, 2015

Clafer Tools 0.3.10

(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.

• clafer-tools-0.3.10-win32.zip (includes Alloy 4.2 and ClaferChocoIG jars) uploaded on May 13, 2015
• clafer-tools-0.3.10-linux-x86_64.zip (includes Alloy 4.2 and ClaferChocoIG jars) uploaded on May 13, 2015
• clafer-tools-0.3.10-mac-x86_64.zip (includes Alloy 4.2 and ClaferChocoIG jars) uploaded on May 13, 2015

Clafer Tools 0.3.9

(updated on Mar 30)

This release includes the compiler, ClaferIG, and ClaferChocoIG. See the release announcement.

• clafer-tools-0.3.9-win32.zip (includes Alloy 4.2 and ClaferChocoIG jars) uploaded on Mar 30, 2015
• clafer-tools-0.3.9-linux-x86_64.zip (includes Alloy 4.2 and ClaferChocoIG jars) uploaded on Mar 30, 2015
• clafer-tools-0.3.9-mac-x86_64.zip (includes Alloy 4.2 and ClaferChocoIG jars and claferchocoig.sh script) uploaded on Mar 30, 2015

Clafer Tools 0.3.8

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.

• clafer-tools-0.3.8-win32.zip (includes GLPK_4_52.dll, Alloy 4.2, and ClaferChocoIG jars) uploaded on Jan 29, 2015
• clafer-tools-0.3.8-linux-x86_64.zip (includes Alloy 4.2 and ClaferChocoIG jars) uploaded on Feb 04, 2015

Clafer Tools 0.3.6.1

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.

• clafer-tools-0.3.6.1-win32.zip (includes GLPK_4_52.dll, Alloy 4.1, 4.2, and ClaferChocoIG jars, and ClaferSMT egg) uploaded on Jul 15, 2014
• clafer-tools-portable-0.3.6.1-win32.zip (includes clafer-tools-0.3.6-win32 integrated into Sublime Text 2) uploaded on Jul 15, 2014
• clafer-tools-0.3.6.1-linux-x86_64.zip (requires libglpk-dev and includes Alloy 4.1, 4.2, and ClaferChocoIG jars, and ClaferSMT egg) uploaded on Jul 15, 2014
• clafer-tools-0.3.6.1-mac-x86_64.zip (requires libglpk-dev and includes Alloy 4.1, 4.2, and ClaferChocoIG jars, and ClaferSMT egg) uploaded on Jul 15, 2014

Clafer Tools 0.3.5.1

• clafer-tools-0.3.5.1-win32.zip (includes GLPK_4_52.dll, Alloy 4.1 and 4.2 jars, and Choco-based backends) uploaded on Jan 31, 2014
• clafer-tools-portable-0.3.5.1-win32.zip (includes the windows binaries integrated into Sublime Text 2) uploaded on Jan 22, 2014
• clafer-tools-0.3.5.1-mac-x86_64.zip (includes Alloy 4.1 and 4.2 jars) uploaded on Apr 13, 2014
• clafer-tools-0.3.5.1-linux-x86_64.zip (requires libglpk-dev and includes Alloy 4.1 and 4.2 jars, and Choco-based backends) uploaded on Jan 31, 2014

Additionally, we created w wiki page Guidelines for feature modeling using Clafer.

Clafer Tools 0.3.4

• clafer-tools-0.3.4-win32.zip (includes GLPK_4_52.dll and Alloy 4.1 and 4.2 jars) uploaded on Sep 20, 2013
• clafer-tools-0.3.4-linux-x86_64.zip (requires libglpk-dev and includes Alloy 4.1 and 4.2 jars) uploaded on Sep 20, 2013

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.

Clafer Tools 0.3.3

• clafer-tools-0.3.3-win32.zip (includes GLPK_4_52.dll and Alloy 4.1 and 4.2 jars) uploaded on Aug 24, 2013
• clafer-tools-0.3.3-linux-x86_64.zip (requires libglpk-dev and includes Alloy 4.1 and 4.2 jars) uploaded on Aug 24, 2013

Clafer Tools 0.3.2

• clafer-tools-0.3.2-win32.zip (includes GLPK_4_49.dll) uploaded on Apr 29, 2013
• clafer-tools-0.3.2-mac-i386.zip uploaded: May 9, 2013
• clafer-tools-0.3.2-linux-i386.zip uploaded on Apr 29, 2013
• clafer-tools-0.3.2-linux-x64.zip uploaded on Apr 29, 2013

Older binaries are available from ClaferIG Downloads Page.