Views
No views yet
| Head | Output |
|---|---|
| Solver rank | Top-1 solver recommendation + full ranking |
| Runtime | Predicted solve time (seconds) |
| Gap | Predicted optimality gap (%) |
| Feasible | Probability of finding feasible solution |
| Config | Auto-tuned solver parameters |
cp_sat, highs, cbc, scip, glpk, gurobi, minizinc, alnstime_limit_sec, num_search_workers, presolve, cut_strategy, search_branching, heuristic_frequency, neighborhood_size, initial_solution1from huggingface_hub import hf_hub_download
2import json
3
4weights = json.load(open(hf_hub_download(
5 "alirezaaminzadeh/solverport-selection-model",
6 "selection_weights.json",
7)))
8config = json.load(open(hf_hub_download(
9 "alirezaaminzadeh/solverport-selection-model",
10 "config.json",
11)))