Gecode::Search Namespace Reference

Data Structures
class	SBViewValBranching
	Generic branching with symmetry breaking. More...
class	SymmBreaker
	Symmetry Breaker. More...