On-line IDE for Clafer including an editor, compiler, and instance generator.
- Clafer Tools Binary Distributions
The bundle contains the Clafer compiler, Alloy-based, Choco-basedm and Z3-based instance generators and multi-objective optimizers, and Sublime Text 2 integration.
- Clafer compiler
Reference language implementation. Translates Clafer models to Alloy, XML, and desugared Clafer.
- Clafer compiler (Behavioral Extension Fork)
Ongoing development of the behavioral language extension: adds LTL to constraint language, final and initial keywords, and syntactic sugar for property patterns. New AlloyLtl generator produces Alloy code whose instances are traces over time.
- Clafer Wiki
Wiki that integrates informal documentation in natural language with more formal Clafer models.
- Clafer Instance Generator
Interactive, Alloy-based, tool that generates instances of Clafer models, shows counterexamples, and conflicting constraints.
- Choco3-based solver and multi-objective optimizer
A backend for running and optimizing Clafer models compiled into Choco.
A command-line, Choco 3-based instance generator.
A web-based integrated development environment for editing, compiling, and instantiating Clafer models.
- Clafer Configurator
An interactive, web-based, configurator for attributed feature models with inheritance subset of Clafer.
- ClaferMOO Visualizer
Visualizes optimal instances of Clafer modles (Pareto Front) and allows to perform analysis of the Pareto Front.
- Clafer Tools UI Common Platform
An integrated platform used by the product-line of Clafer Web tools: the IDE, the configurator, and the visualizer.
- Mooloy-based exact multi-objective optimizer
A multi-objective Alloy-based backend. Performs multi-objective optimization over Clafer models limited to the attributed feature models with inheritance subset.
- Z3 SMT-based solver and multi-objective optimizer
A backend for running and optimizing Clafer models compiled into SMT-Lib (last release 0.3.6.1).