linopy.solvers.available_solvers

linopy.solvers.available_solvers = ['gurobi', 'highs']

Lazy sequence of installed solver names.

Probes each solver’s Solver.is_available() on first access and caches the result. Membership means the solver’s Python package or binary is importable — it does not mean a working license exists. Call check_solver_licenses() for an opt-in eager license probe.

refresh() clears the cache (and each per-class is_available cache) so the probe re-runs.