Technical Documentation Version 9.1
Mixed-integer Programming