module
copp2_socp
Second-order convex optimization solver backed by Clarabel.
copp2_socpSecond-order convex optimization solver backed by Clarabel.
copp3_socpThird-order COPP SOCP solver backed by Clarabel.
reach_set2Second-order reach-set construction tools.
topp2_raTOPP2 reachability-analysis solver and interpolation wrappers.
topp3Shared third-order TOPP problem helpers.
topp3_lpThird-order linear-programming solver backed by Clarabel.
topp3_socpThird-order SOCP solver backed by Clarabel.
No direct public classes or functions are documented in this module.