The Codac Library
A Catalog of Domains and Contractors
Keywords:
constraint programming, interval analysis, state estimation, dynamical systems, solver, robotics, Contractor Network, SLAM
Abstract
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 parameter estimation, guaranteed integration or robot localization and provides reliable outputs by computing sets of feasible solutions according to the constraints defining the problem. This paper provides a brief overview of the library and its Contractor Network approach, illustrated on a convincing robotic application.
Downloads
Download data is not yet available.
Published
2024-03-21
How to Cite
Rohou, S., Desrochers, B., & Le Bars, F. (2024). The Codac Library. Acta Cybernetica, 26(4), 871-887. https://doi.org/10.14232/actacyb.302772
Section
Special Issue of SWIM 2022