Tubex: constraint-programming for robotics

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

User manual

• Introduction
• Basic structures for real values
• Domains: sets of feasible values
• Static contractors
• Temporal contractors
• Contractor Networks
• Graphical tools
• FAQ: Frequently Asked Questions

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