SCIP

    Solving Constraint Integer Programs