A package src.devoted to choice points and search heuristics specific to integer variables.
Related Documentation
For tutorials, examples, documentation and technical notes, see:
Link