Oh, not SICP.
... and not the solver for mixed integer (linear) programming (MI(L)P) and mixed integer nonlinear programming (MINLP): > https://www.scipopt.org/
The Future of SCIP
11–20 of 27 posts
Re: The Future of SCIP
#12Re: The Future of SCIP
#13Something something powers go to definition… is this an implementation of an LSP server? Or a subset of what’s needed to implement LSP? A formerly proprietary alternative to LSP?
Uber uses SCIP as part of the LSP implementation for our Java monorepo (Pieces of which we've [open-sourced](https://github.com/uber/scip-lsp)). Standardizing on SCIP has helped us generalize tools to be independent of the compiler/language ecosystem (eg we could do call-stack-analysis on any project that exports valid SCIP; do feature flag cleanup; find refs/impls across a wider scope than most LSP servers can handle due to memory constraints).
Re: The Future of SCIP
#14Re: The Future of SCIP
#15Re: The Future of SCIP
#16Re: The Future of SCIP
#17Oh, not SICP.
Re: The Future of SCIP
#18Oh, not SICP.
Re: The Future of SCIP
#19Oh, not SICP.
Re: The Future of SCIP
#20Oh, not SICP.
Nor the other SCIP. https://en.wikipedia.org/wiki/Secure_Communications_Interope...