author Adrien Di Mascio <>
Mon, 29 Jan 2018 14:51:42 +0100
changeset 815 a5c0cf9f6941
parent 814 11a23b86752b
child 825 ae3aaee0ef55
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.


deps =
  py27: unittest2 >= 0.7
commands = {envpython} -m pytest {posargs:test}

python_files = *test_*.py