Solving Constraint Integer Programs
methods to include specific expression interpreters into SCIP
This module contains methods to include specific expression interpreters into SCIP.