A package src.devoted to choice points and search heuristics specific to integer variables.

Related Documentation

For tutorials, examples, documentation and technical notes, see: