Scippy

SCIP

Solving Constraint Integer Programs

TNLP Class Reference