Technical Documentation Version 9.4
Mixed-integer Programming