author Adrien Di Mascio <>
Mon, 29 Jan 2018 14:51:42 +0100
changeset 815 a5c0cf9f6941
parent 0 d7a978efc65b
permissions -rw-r--r--
upgrade to gecode5.x API 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. 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