Solution

## Optimality

A solution is optimal, if there is no other solution with a better rating.

\begin{aligned} &optimal(X) = \begin{cases} \;\;wahr, & \text{if} X = (x_{11},...,x_{DS})\\ &best \ rating(X)\\ \;\;false, & \text{otherwise}. \end{cases} \end{aligned}

wide screen
1. solution
1. solution
1. Solution.html
2. optimization
1. OptimizationEventTest
1. riscv.csv
2. riscv.csv.html
3. splitcells-XPS-15-9570.csv
4. splitcells-XPS-15-9570.csv.html
5. test_equals_ofEqualPair__
6. test_equals_ofPairWithDifferentSupplies__
2. meta
1. BacktrackingTest
1. riscv.csv
2. riscv.csv.html
3. splitcells-XPS-15-9570.csv
4. splitcells-XPS-15-9570.csv.html
5. testBranching__
6. testSimplestCase__
3. primitive
1. ConstraintGroupBasedOfflineRepairTest
1. riscv.csv
2. riscv.csv.html
3. splitcells-XPS-15-9570.csv
4. splitcells-XPS-15-9570.csv.html
5. test_demandGrouping__
6. test_removal_of_defying_group__
7. test_repair_of_defying_group__
2. ConstraintGroupBasedRepairTest
1. riscv.csv
2. riscv.csv.html
3. splitcells-XPS-15-9570.csv
4. splitcells-XPS-15-9570.csv.html
5. test_demandGrouping__
6. test_removal_of_defying_group__
7. test_repair_of_defying_group__
3. ConstraintGroupbasedrepairTest
1. splitcells-XPS-15-9570.csv
2. splitcells-XPS-15-9570.csv.html
3. test_demandGrouping__
4. test_removal_of_defying_group__
5. test_repair_of_defying_group__
4. TemplateInitializerTest
1. riscv.csv
2. riscv.csv.html
3. splitcells-XPS-15-9570.csv
4. splitcells-XPS-15-9570.csv.html
5. testTemplate__
4. space
1. EnumerableOptimizationSpaceTest
1. riscv.csv
2. riscv.csv.html
3. splitcells-XPS-15-9570.csv
4. splitcells-XPS-15-9570.csv.html
5. testDiscoveryPath__
6. testSimpleHistory__