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.
https://github.com/codac-team/codac
constraint-programming dynamical-systems interval-analysis localization mobile-robotics robotics slam state-estimation tubes
Last synced: 14 days ago
JSON representation
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.
- Host: GitHub
- URL: https://github.com/codac-team/codac
- Owner: codac-team
- License: lgpl-3.0
- Created: 2016-09-14T13:23:56.000Z (over 9 years ago)
- Default Branch: codac2
- Last Pushed: 2026-02-12T15:22:34.000Z (about 1 month ago)
- Last Synced: 2026-02-12T23:48:47.342Z (about 1 month ago)
- Topics: constraint-programming, dynamical-systems, interval-analysis, localization, mobile-robotics, robotics, slam, state-estimation, tubes
- Language: C++
- Homepage: http://www.codac.io
- Size: 38.8 MB
- Stars: 49
- Watchers: 4
- Forks: 21
- Open Issues: 15
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG
- License: COPYING