Getting Started
Tutorials
API Documentation
Priority
Priority enum used by objectives and constraints.
Lexicographic priority for an objective or constraint.