Input Clafer Model and Options
Load into editor
Or Choose Example...
Adaptive Cruise Control example
BumbleBee, a transformer example
The mobile phone example from an SPLC paper
A mobile phone with a quality attribute example
Online B2C Solution from GPCE'05 paper
Or enter your model:
Scopes:
Disable
Fast
1
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
Output
Clear
ClaferIG
0.4.5
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
Instance Generator
Choco-based (IG + MOO)
Alloy-based (IG only)
Get Instances
Next
Reload
Quit
Next
Reload
Clafer Model
Quit
Scopes
All:
Inc
Default:
Set
Custom:
Inc
Set
Max Int:
Set
Feature and Quality Matrix
Constraints
Help