codac-team / codacLinks
Codac (Catalog Of Domains And Contractors) is a C++/Python/Matlab library providing tools for interval computations and constraint programming over real numbers, trajectories and sets. It has numerous applications in parameter estimation, guaranteed integration, robot localization, and provides reliable outputs.
☆45Updated last week
Alternatives and similar repositories for codac
Users that are interested in codac are comparing it to the libraries listed below
Sorting:
- A set of lightweight header-only template functions implementing commonly-used optimization methods on Riemannian manifolds and convex sp…☆107Updated last year
- Solver for Large-Scale Rank-One Semidefinite Relaxations☆68Updated 2 years ago
- Lie theory for robotics