{"default_strategy":"auto","solvers":[{"id":"auto","name":"Intelligent Hybrid Portfolio (Auto)","category":"hybrid_portfolio","is_quantum_hardware":false,"description":"Races Parallel Tempering, Simulated Bifurcation, and Simulated Annealing with deterministic repair and HiGHS verification."},{"id":"simulated_annealing","name":"Incremental-Field Simulated Annealing","category":"quantum_inspired","is_quantum_hardware":false,"description":"Multi-start Metropolis-Hastings annealer with O(1) incremental local field updates and 1-opt quench."},{"id":"parallel_tempering","name":"Replica-Exchange Parallel Tempering","category":"quantum_inspired","is_quantum_hardware":false,"description":"Coupled thermal replica ladder with non-local Metropolis configuration swaps for rugged landscapes."},{"id":"simulated_bifurcation","name":"Discrete & Ballistic Simulated Bifurcation (dSB/bSB)","category":"quantum_inspired","is_quantum_hardware":false,"description":"Toshiba-style adiabatic nonlinear Kerr oscillator network using vectorized symplectic Euler dynamics."},{"id":"classical_highs","name":"Classical HiGHS Exact MILP / McCormick Solver","category":"classical_exact","is_quantum_hardware":false,"description":"Exact branch-and-cut MILP solver enforcing native hard linear constraints and McCormick quadratic envelopes."},{"id":"dwave_leap","name":"D-Wave Leap Advantage2 (Zephyr) Adapter","category":"cloud_qpu","is_quantum_hardware":true,"description":"Compiles Ising Hamiltonian with Uniform Torque Compensation chain strengths and Zephyr Z15 embedding telemetry."},{"id":"aws_braket","name":"AWS Braket Adiabatic / Hybrid Adapter","category":"cloud_qpu","is_quantum_hardware":true,"description":"Formats Ising spin problem for AWS Braket quantum tasks with automatic local emulation fallback."},{"id":"qiskit_qaoa","name":"IBM Qiskit Warm-Start QAOA Adapter","category":"cloud_qpu","is_quantum_hardware":true,"description":"Synthesizes Pauli-Z/ZZ Cost & Mixer Hamiltonians with circuit depth and CX gate count analysis."}]}