| { |
| "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 |
| } |
| } |
