codac

1.2.1

Codac main page
Try Codac online with Python
Installing the Codac library
Start a Python project
Start a C++ project

User manual

Introduction
Basic structures for real values
Domains: sets of feasible values
Inclusion functions
Static contractors
Temporal contractors
Contractor Networks
Set-inversion and separators
Graphical tools
FAQ: Frequently Asked Questions
See also: codac-unsupported

Use cases

Lie symmetries for guaranteed integ.
Pose estimation with range-only obs.

Tutorial for mobile robotics

Main page
Introduction
A. Intervals and contractors
B. Static range-only localization
C. Static range-bearing localization
D. Building our own contractor
E. Hello tubes
F. Asynchronous measurements
G. Localization with data association
H. Range-only SLAM

Development

Changelog
C++ API technical documentation
Information for developers

codac

»
Codac: constraint-programming for robotics »
C++ API technical documentation
View page source

C++ API technical documentation¶

The C++ API technical documentation of the library is available.

Next Previous

© Copyright 2020, Codac Team

Built with Sphinx using a theme provided by Read the Docs.