Input Clafer Model and Options
Load into editor
Or Choose Example...
Performance Test 1 (PT1)
PT1 2000 Instances
PT1 5000 Instances
PT1 7000 Instances
PT1 10000 Instances
Service Allocation Example
Mobile Phone Example (1 objective)
Mobile Phone Example (2 objectives)
Mobile Phone Example (3 objectives)
Mobile Phone Example (4 objectives)
Mobile Phone Example (5 objectives)
Cruise Control Example (4 objectives)
Use cached results
Or enter your model:
Scopes:
Disable
Fast
1
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
Run optimization
Def. scopes:
Max. int.:
Choco-based (MOO & magnifier)
Limit instances:
Number of cores:
Objectives and Quality Ranges
Spider Chart
Variant Comparer
Output
Clear
chocosolver v0
.4.4.2016
-
09
-
19
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
Bubble Front Graph
Parallel Coordinates Chart
Min - Max
0 - Max
Feature and Quality Matrix
Help