diff --git a/README.md b/README.md index 3a091a08..b1606982 100644 --- a/README.md +++ b/README.md @@ -1,42 +1,5 @@ -# [Codac library](http://simon-rohou.fr/research/codac) [![Build Status](https://api.travis-ci.org/codac-team/codac.svg?branch=master)](https://travis-ci.org/codac-team/codac) +# [Codac: constraint-programming for robotics](http://codac.io) [![Build Status](https://api.travis-ci.org/codac-team/codac.svg?branch=master)](https://travis-ci.org/codac-team/codac) -Codac is a library providing tools for **constraint programming** over reals and trajectories. It has many applications in **state estimation** or **robot localization**. +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 **state estimation** or **robot localization**. -| **What is constraint programming?** -| In this paradigm, users concentrate on the properties of a solution to be found (*e.g.* the pose of a robot, the location of a landmark) by stating **constraints on the variables**. Then, a solver performs constraint propagation on the variables and provides a **reliable** set of feasible solutions corresponding to the considered problem. In this approach, the user concentrates on *what* is the problem instead of *how* to solve it, thus leaving the computer dealing with the *how*. The strength of this declarative paradigm lies in its **simpleness**, as it allows one to describe a complex problem without requiring the knowledge of resolution tools coming with specific parameters to choose. - -| **What about mobile robotics?** -| In the field of robotics, complex problems such as **non-linear state estimation**, **delays**, **SLAM** or **kidnapped robot problems** can be solved in a very few steps by using constraint programming. Even though the Codac library is not meant to target only robotics problems, the design of its interface has been largely influenced by the needs of the above class of applications. Codac provides solutions to deal with these problems, that are usually hardly solvable by conventional methods such as particle approaches or Kalman filters. - -In a nutshell, Codac is a high-level **constraint programming framework** providing tools to easily solve a wide range of robotic problems. - -**See the [official page](http://simon-rohou.fr/research/codac)**. - -![Image of Tube](https://cdn.rawgit.com/codac-team/codac/master/doc/user_manual/img/tube_slices_small.png) - - -Related publications --------------------- - -* [Guaranteed computation of robot trajectories](http://simon-rohou.fr/research/tubint/tubint_paper.pdf)
*Robotics and Autonomous Systems*, 93:76-84 (2017)
Simon Rohou, Luc Jaulin, Lyudmila Mihaylova, Fabrice Le Bars, Sandor M. Veres - -* [Reliable non-linear state estimation involving time uncertainties](http://simon-rohou.fr/research/tubeval/tubeval_paper.pdf)
*Automatica*, 93:379-388 (2017)
Simon Rohou, Luc Jaulin, Lyudmila Mihaylova, Fabrice Le Bars, Sandor M. Veres - -* [Proving the existence of loops in robot trajectories](http://simon-rohou.fr/research/loopproof/loopproof_paper.pdf)
*The International Journal of Robotics Research*, 37(12):1500-1516 (2018)
Simon Rohou, Peter Franek, Clément Aubry, Luc Jaulin - -* [[book] Reliable robot localization: a constraint-programming approach over dynamical systems](http://iste.co.uk/book.php?id=1553)
*ISTE Ltd*, *Wiley* (2019)
Simon Rohou, Luc Jaulin, Lyudmila Mihaylova, Fabrice Le Bars, Sandor M. Veres - - -Documentation -------------- - -* [User guide](http://simon-rohou.fr/research/codac) -* [API technical documentation](http://simon-rohou.fr/research/codac/doxygen/html/annotated.html) - - -License and development ------------------------ - -This software is under [GNU Lesser General Public License](https://www.gnu.org/copyleft/lgpl.html). - -A Python version ([pyIbex](http://www.ensta-bretagne.fr/desrochers/pyibex) wrapping) is planned. \ No newline at end of file +See the official website: http://codac.io \ No newline at end of file diff --git a/doc/doc/index.rst b/doc/doc/index.rst index b655f3ef..1b8319b3 100644 --- a/doc/doc/index.rst +++ b/doc/doc/index.rst @@ -13,7 +13,7 @@ Codac: constraint-programming for robotics ########################################## -Codac (Catalog Of Domains And Contractors) is a C++/Python library providing tools for **constraint programming** over reals and trajectories. It has many applications in **state estimation** or **robot localization**. +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 **state estimation** or **robot localization**. | **What is constraint programming?** | In this paradigm, users concentrate on the properties of a solution to be found (*e.g.* the pose of a robot, the location of a landmark) by stating **constraints on the variables**. Then, a solver performs *constraint propagation* on the variables and provides a reliable set of **feasible solutions** corresponding to the problem. In this approach, the user concentrates on *what* is the problem instead of *how* to solve it, thus leaving the computer dealing with the *how*.