All Git Users → codac-team

1 open source projects by codac-team

[ Open user page on Github ]

Codac is a library for constraint programming over reals, trajectories and sets.

✭ 31

C++python CMake c localization robotics interval-analysis constraint-programming dynamical-systems slam state-estimation mobile-robotics tubes

1-1 of 1 user projects