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.

Fork of the official Eigen repo: https://gitlab.com/libeigen/eigen

A simple way to use Codac with Python online.

A Python binding for ibex-lib