Recent News

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

by Jianmei Guo on July 3, 2014

Our paper "Scaling Exact Multi-Objective Combinatorial Optimization by Parallelization" has been accepted as a full paper (acceptance rate: 55/276 ≈ 20%) at the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014). The corresponding, ongoing project is here.

by Thorsten Berger on April 30, 2014

We are co-organizing this year's FOSD'14 workshop, which is co-located with the ASE, SLE, and GPCE conference. The workshop will take place on September 14 in Västerås, Sweden. We invite paper submissions on the theory and practice of engineering feature-oriented systems.

by on April 10, 2014

 Our paper, which explores techniques to reduce the Kodkod universe size and speed up solving times for SPL optimization in Alloy,  has been accepted as a short research paper at ABZ'14, and will be presented this June in Toulouse, France.

by Leonardo Passos on March 30, 2014

This paper describes a dataset of feature additions and removals in the Linux kernel evolution history, spanning over seven years of kernel development. Features, in this context, denote configurable system options that users select when creating customized kernel images. The provided dataset is the largest corpus we are aware of capturing feature additions and removals, allowing researchers to assess the kernel evolution from a feature-oriented point-of-view.

by Michal Antkiewicz on March 18, 2014

UPDATE: the preprint of the paper is now available.

by Michal Antkiewicz on February 28, 2014

UPDATE: The preprint of the paper is now available.

by Michal Antkiewicz on February 24, 2014

We are co-organizing a Copenhagen Meeting on Variability Management'2014 which will take place at ITU Copenhagen on Monday, March 3rd, 2014.

Similarly to the Product Line Engineering Workshop'2013 @ University of Waterloo, the meeting can be attended both in-person and on-line. The information for on-line attendance will be posted on the meeting's page.

UPDATE (Mar 9, 2014): The video recordings of all talks are now available on the meeting's page.

by Michal Antkiewicz on January 21, 2014

Clafer Tools is a simultaneous release of the Clafer

  1. compiler
  2. wiki
  3. Alloy-based instance generator
  4. Choco3-based solver
  5. Choco3-based instance generator
  6. IDE
  7. configurator
  8. Mooloy-based exact multi-objective optimizer
  9. Choco3-based exact single-objective optimizer
  10. MOO visualizer and explorer
  11. Clafer Tools UI Common Platform


Models expressed in Clafer can be translated either to Alloy and used for instance generation and multi-objective optimization or to Choco3 and used for instance generation and single-objective optimization.

The binary distributions of all tools are available for download.

The following are links to public live demo installations of

The 0.3.5 release is mostly focused on adding the Choco3-based backends and the three web-based tools: the new tool-ClaferIDE, and improvements of the ClaferMooVisualizer and ClaferConfigurator. In this release, the three web projects, which were forks of each other, were refactored into a product-line based on an integrated platform, the Clafer Tools UI Common Platform.

We have also created two new wiki resources:

by Michal Antkiewicz on January 15, 2014

We created a wiki page containing guidelines for using Clafer as a feature modeling language.

It contains references to

  • materials about the attributed feature model with inheritance subset of Clafer
  • an interactive on-line exercise "Feature modeling with quality and multi-objective optimization using Clafer"
  • the available on desktop and on-line tools