A package src.devoted to control (branching schemes and heuristics) for branching in a search tree.
Related Documentation
For tutorials, examples, documentation and technical notes, see:
Link