Technical Documentation Version 9.3
Mixed-integer Programming