SCIP - Solving Constraint Integer Programs - View it on GitHub