codac

1.5.6

Codac main page
Try Codac online with Python
Installing the Codac library
Start a Python project
Start a C++ project
Start a MATLAB 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

Set4MOST

Examples

Tutorial JNRR23

JNRR-1. Intervals and contractors
JNRR-2. Static range-only localization
JNRR-3. Towards SLAM

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

Use cases

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

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.

Previous Next

© Copyright 2020, Codac Team.

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