Expand description
Solver entry namespace (TOPP2/TOPP3/COPP2/COPP3).
Each submodule exposes a solver family with stable public paths. Read the submodule summary first, then choose by objective and runtime budget.
Modulesยง
- copp2_
socp - COPP2 SOCP backend (Clarabel).
- copp3_
socp - COPP3 SOCP backend (Clarabel).
- reach_
set2 - TOPP2 reachable-set construction.
- topp2_
ra - TOPP2 reachability-analysis solver.
- topp3_
lp - TOPP3 LP backend (Clarabel).
- topp3_
socp - TOPP3 SOCP backend (Clarabel).