https://github.com/codac-team/codac

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.

constraint-programming dynamical-systems interval-analysis localization mobile-robotics robotics slam state-estimation tubes

Last synced: 04 Mar 2026