Clafer tools and web tools 0.5.5 released: decimals

by Michał Antkiewicz, Oct 27, 2026

Release 0.5.5 adds decimals, improved scope inference, and for web tools, improved UI and URLs without port numbers. Binaries for Linux x86_64 are available from the Clafer tools binary distributions page.

Decimals. The new primitive type decimal holds numbers with a fixed number of fractional digits. The bike example in ClaferMooVisualizer shows a bike whose optional features have decimal costs and weights, and the trade-off between its price and its weight. Decimals are supported by the Choco-based tools only. See the Clafer Cheat Sheet for details.

Scopes. References with unbounded multiplicities get correct scopes, and the compiler warns about large ones; partial scope files are now supported in both chocosolver and claferIG.

• clafer compiler
  • decimals (#102), also in clafer-mode.el (#103)
  • scopes of references and warnings about large scopes (#104)
• chocosolver, the Choco-based instance generator
  • uses choco-solver 6.0.2 (#38)
  • decimals (#39)
  • reads scope files (#40)
• claferIG, the Alloy-based instance generator
  • uses clafer-0.5.5 and explains why it cannot run models with decimals (#39)
  • shows its errors in ClaferIDE (#40)
  • reads partial scope files without the global scope (#41)
• claferwiki
  • uses clafer-0.5.5 (#23)
  • links to the web tools without port numbers (#24)
• VS Code extension
  • highlights decimals (#3)
  • install clafer-syntax-0.5.5.vsix from the 0.5.5 release with code --install-extension clafer-syntax-0.5.5.vsix
• Sublime Text 4 plugin
  • highlights decimals (#6)
• web tools ClaferIDE, ClaferConfigurator, and ClaferMooVisualizer
  • decimals and the bike example (common platform #9, ClaferIDE#20, ClaferConfigurator#12, ClaferMooVisualizer#29)
  • buttons to copy the URL of an example, to import it into another model (common platform #10, ClaferIDE#21, ClaferConfigurator#13, ClaferMooVisualizer#30)
  • available via URLs without port numbers (common platform #11, ClaferIDE#22, ClaferConfigurator#14, ClaferMooVisualizer#31)
• ClaferCaseStudies, made compatible with 0.5.5 and published results can be reproduced (ClaferCaseStudies#1).

The binary bundle contains clafer, claferIG, chocosolver and Alloy 6.2.0. It runs on Linux x86_64 with glibc 2.39 or newer and needs Java 21 or newer; on Windows, use it through WSL.

Live demos, now available via URLs without port numbers: the Clafer Model Wiki, the Railway Wiki, the Traffic Lights Wiki, ClaferIDE, ClaferConfigurator and ClaferMooVisualizer.