... and not the solver for mixed integer (linear) programming (MI(L)P) and mixed integer nonlinear programming (MINLP):

> https://www.scipopt.org/

This is what I clicked for.

damn that is a cute logo, what a miss for SCIP-code