Input Clafer Model and Options
Load into editor
Or Choose Example...
Simple model of a Person
Person from Clafer Tutorial 9.3
Clafer and group cardinalities
Cruise Control Example
Cruise Control Example with Quality (4 Objectives)
Telematics PLA Example
Or enter your model:
Scopes:
Disable
Fast
1
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
Loading and processing...
Cancel
Compiled Formats
Show:
HTML
Desugared Clafer
Chocosolver's JavaScript
Alloy Model
JSON IR
Graph
Download
Instance Generator
Alloy-based (IG only)
Choco-based (IG + MOO)
Next
Reload
Clafer Model
Quit
Next
Reload
Quit
Scopes
All:
Inc
Default:
Set
Custom:
Inc
Set
Max Int:
Set
Output
Clear
ClaferIDE
> Processing the submitted model. Compiling...
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
Help
Loading and processing...Loading and processing...