Technical Documentation Version 8.0
Mixed-integer Programming