{
  "model_type": "solver-assistant",
  "version": "3.0.0",
  "library": "custom",
  "problem_classes": [
    "maxcut",
    "sat",
    "subset_sum",
    "tsp"
  ],
  "interfaces": [
    "natural_language",
    "json_schema"
  ],
  "dependencies": [],
  "python_requires": ">=3.8",
  "exact_only": true,
  "verification": "per_solver_witness_check",
  "time_limits": {
    "maxcut_bb_seconds": 30,
    "sat_dpll_seconds": 30,
    "tsp_held_karp_seconds": 60,
    "cross_dfs_seconds": 60
  },
  "size_limits": {
    "maxcut_bruteforce_n": 20,
    "maxcut_bb_practical_n": 35,
    "sat_dpll_practical_n": 100,
    "subset_sum_mim_n": 44,
    "tsp_held_karp_n": 18
  }
}