Publish solver registry configuration
Browse files- README.md +15 -0
- config.json +86 -0
README.md
ADDED
|
@@ -0,0 +1,15 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
---
|
| 2 |
+
license: mit
|
| 3 |
+
tags:
|
| 4 |
+
- operations-research
|
| 5 |
+
- optimization
|
| 6 |
+
- solver-config
|
| 7 |
+
---
|
| 8 |
+
|
| 9 |
+
# Optimization OS — Solver Registry
|
| 10 |
+
|
| 11 |
+
Solver and method configuration for the Optimization Operating System platform.
|
| 12 |
+
|
| 13 |
+
**Engine:** v1.0.0
|
| 14 |
+
**Solvers:** 6 registered
|
| 15 |
+
**Problem types:** 6
|
config.json
ADDED
|
@@ -0,0 +1,86 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
{
|
| 2 |
+
"model_type": "optimization_solver_registry",
|
| 3 |
+
"engine_version": "1.0.0",
|
| 4 |
+
"no_training_required": true,
|
| 5 |
+
"problem_types": [
|
| 6 |
+
"scheduling",
|
| 7 |
+
"routing",
|
| 8 |
+
"assignment",
|
| 9 |
+
"inventory",
|
| 10 |
+
"facility_location",
|
| 11 |
+
"packing"
|
| 12 |
+
],
|
| 13 |
+
"solvers": {
|
| 14 |
+
"highs": {
|
| 15 |
+
"label": "HiGHS",
|
| 16 |
+
"available": true
|
| 17 |
+
},
|
| 18 |
+
"cbc": {
|
| 19 |
+
"label": "CBC (PuLP)",
|
| 20 |
+
"available": true
|
| 21 |
+
},
|
| 22 |
+
"cp_sat": {
|
| 23 |
+
"label": "OR-Tools CP-SAT",
|
| 24 |
+
"available": true
|
| 25 |
+
},
|
| 26 |
+
"scip": {
|
| 27 |
+
"label": "SCIP",
|
| 28 |
+
"available": false
|
| 29 |
+
},
|
| 30 |
+
"gurobi": {
|
| 31 |
+
"label": "Gurobi",
|
| 32 |
+
"available": false
|
| 33 |
+
},
|
| 34 |
+
"heuristic": {
|
| 35 |
+
"label": "Heuristic Engine",
|
| 36 |
+
"available": true
|
| 37 |
+
}
|
| 38 |
+
},
|
| 39 |
+
"methods": {
|
| 40 |
+
"scheduling": {
|
| 41 |
+
"baseline": "spt_baseline",
|
| 42 |
+
"exact": "cp_sat_scheduling",
|
| 43 |
+
"scalable": "ga_scheduling",
|
| 44 |
+
"robust": "rolling_horizon_scheduling"
|
| 45 |
+
},
|
| 46 |
+
"routing": {
|
| 47 |
+
"baseline": "nearest_depot",
|
| 48 |
+
"exact": "cp_sat_routing",
|
| 49 |
+
"scalable": "alns_routing",
|
| 50 |
+
"robust": "scenario_routing"
|
| 51 |
+
},
|
| 52 |
+
"assignment": {
|
| 53 |
+
"baseline": "greedy_assignment",
|
| 54 |
+
"exact": "highs_assignment",
|
| 55 |
+
"scalable": "local_search_assignment",
|
| 56 |
+
"robust": "stochastic_assignment"
|
| 57 |
+
},
|
| 58 |
+
"inventory": {
|
| 59 |
+
"baseline": "reorder_point",
|
| 60 |
+
"exact": "cp_sat_inventory",
|
| 61 |
+
"scalable": "decomposition_inventory",
|
| 62 |
+
"robust": "simulation_inventory"
|
| 63 |
+
},
|
| 64 |
+
"facility_location": {
|
| 65 |
+
"baseline": "nearest_facility",
|
| 66 |
+
"exact": "cbc_facility",
|
| 67 |
+
"scalable": "ga_facility",
|
| 68 |
+
"robust": "scenario_facility"
|
| 69 |
+
},
|
| 70 |
+
"packing": {
|
| 71 |
+
"baseline": "first_fit_decreasing",
|
| 72 |
+
"exact": "cp_sat_packing",
|
| 73 |
+
"scalable": "alns_packing",
|
| 74 |
+
"robust": "dynamic_packing"
|
| 75 |
+
}
|
| 76 |
+
},
|
| 77 |
+
"default_time_limit_sec": 15,
|
| 78 |
+
"metrics": [
|
| 79 |
+
"objective_value",
|
| 80 |
+
"best_bound",
|
| 81 |
+
"optimality_gap",
|
| 82 |
+
"elapsed_time_sec",
|
| 83 |
+
"iterations",
|
| 84 |
+
"constraint_violations"
|
| 85 |
+
]
|
| 86 |
+
}
|