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: