What is SCIP?

What is a SCIP 2016-7.pdf, 94.99 KB; (Last Modified on September 26, 2016)