Propagator and brancher groups
[Programming models]

Classes
class	Gecode::Group
	Group baseclass for controlling actors. More...
class	Gecode::PropagatorGroup
	Group of propagators. More...
class	Gecode::BrancherGroup
	Group of branchers. More...