SCIP

Solving Constraint Integer Programs