Technical Documentation Version 9.6
Mixed-integer Programming