author Adrien Di Mascio <Adrien.DiMascio@logilab.fr>
Mon, 29 Jan 2018 14:51:42 +0100
changeset 815 a5c0cf9f6941
parent 785 76b5258df874
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.