{
  "model_type": "optimization_solver_registry",
  "engine_version": "1.0.0",
  "no_training_required": true,
  "problem_types": [
    "scheduling",
    "routing",
    "assignment",
    "inventory",
    "facility_location",
    "packing"
  ],
  "solvers": {
    "highs": {
      "label": "HiGHS",
      "available": true
    },
    "cbc": {
      "label": "CBC (PuLP)",
      "available": true
    },
    "cp_sat": {
      "label": "OR-Tools CP-SAT",
      "available": true
    },
    "scip": {
      "label": "SCIP",
      "available": false
    },
    "gurobi": {
      "label": "Gurobi",
      "available": false
    },
    "heuristic": {
      "label": "Heuristic Engine",
      "available": true
    }
  },
  "methods": {
    "scheduling": {
      "baseline": "spt_baseline",
      "exact": "cp_sat_scheduling",
      "scalable": "ga_scheduling",
      "robust": "rolling_horizon_scheduling"
    },
    "routing": {
      "baseline": "nearest_depot",
      "exact": "cp_sat_routing",
      "scalable": "alns_routing",
      "robust": "scenario_routing"
    },
    "assignment": {
      "baseline": "greedy_assignment",
      "exact": "highs_assignment",
      "scalable": "local_search_assignment",
      "robust": "stochastic_assignment"
    },
    "inventory": {
      "baseline": "reorder_point",
      "exact": "cp_sat_inventory",
      "scalable": "decomposition_inventory",
      "robust": "simulation_inventory"
    },
    "facility_location": {
      "baseline": "nearest_facility",
      "exact": "cbc_facility",
      "scalable": "ga_facility",
      "robust": "scenario_facility"
    },
    "packing": {
      "baseline": "first_fit_decreasing",
      "exact": "cp_sat_packing",
      "scalable": "alns_packing",
      "robust": "dynamic_packing"
    }
  },
  "default_time_limit_sec": 15,
  "metrics": [
    "objective_value",
    "best_bound",
    "optimality_gap",
    "elapsed_time_sec",
    "iterations",
    "constraint_violations"
  ]
}