Discussion

The Future of SCIP

UncleOxidant: Oh, not SICP.

soegaard: I misread it too.

KK7NIL: Also not SCPI (Standard Commands for Programmable Instrumentation), widely used to control lab instruments and pronounced similarly ("skippy").

mentalpagefault: The similar acronym appears to be intentional: Note on the name: SCIP is pronounced the same way as “skip” and it’s a recursive acronym that stands for “SCIP Code Intelligence Protocol.” SCIP is also a purposeful nod to SICP (Structure and Interpretation of Programs), a book about analyzing programs. https://sourcegraph.com/blog/announcing-scip#:~:text=SCIP%20...

zingar: Something something powers go to definition… is this an implementation of an LSP server? Or a subset of what’s needed to implement LSP?

aleph_minus_one: ... and not the solver for mixed integer (linear) programming (MI(L)P) and mixed integer nonlinear programming (MINLP):> https://www.scipopt.org/

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