Technical Documentation Version 8.5
Mixed-integer Programming