TODO
author Adrien Di Mascio <Adrien.DiMascio@logilab.fr>
Mon, 29 Jan 2018 14:51:42 +0100
changeset 815 a5c0cf9f6941
parent 0 d7a978efc65b
permissions -rw-r--r--
upgrade to gecode5.x API http://www.gecode.org/doc-latest/reference/PageHowToChange__5.html says that brancher handlers have been removed and that `BrancherGroup` should be used instead. use the `BrancherGroup:all` static member to get the special brancher group that gathers all branchers in a space, and fetch the number of branchers it contains. cf. http://www.gecode.org/doc-latest/MPG.pdf Do the same thing for propagators.

TODO list for the rql package
=============================

* retirer les restrictions e_type = [A-Z][a-z_]*
                           r_type = [a-z_]*

* detecter les erreurs ASAP pour Úviter stcheck

* tests unitaires pour sqlgen

* revoir tutoriel

* specification 1.0