search

codac-team / codac

Codac is a library for constraint programming over reals, trajectories and sets.
http://www.codac.io
GNU Lesser General Public License v3.0
39 stars 17 forks source link
constraint-programming dynamical-systems interval-analysis localization mobile-robotics robotics slam state-estimation tubes

readme

Codac: constraint-programming for robotics Build Status

Codac (Catalog Of Domains And Contractors) is a C++/Python library providing tools for constraint programming over reals, trajectories and sets. It has many applications in state estimation or robot localization.

See the official website: http://codac.io