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.
Clafer Tools 0.3.6.1 Released
by Michal Antkiewicz on July 11, 2014
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. This will allow us to make more frequent releases of the core components on which all others depend.
The binaries for Win, Linux, and Mac can be downloaded from Clafer Tools - Binary Distributions. There's also a "portable" distribution for Win which includes preconfigured Sublime Text 2.
For feature modeling, see Guidelines for Feature Modeling using Clafer.
For more information about the release see the clafer.org post.
