Surface SCIP acronym definition

[trly]

Defined here: https://github.com/scip-code/scip/blob/main/docs/scip.md?plain=1#L4

Source for a consistent response when asked what SCIP means.

[jupblb]

The most popular source of what SCIP stands for is this:

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.

Ref: https://sourcegraph.com/blog/announcing-scip

But the old docs also mention "Semantic". I'm honestly not sure what we should do here. :/

[trly]

Happy to use what the most commonly understood reference is. I just want to have something consistent to refer customers/prospects to when they ask what SCIP stands for. As best I could tell there isn't actually a 'definitive' source of truth outside of what the old docs state.

[trly]

Suppose the current understanding is that it's a fun, self-referential/recursive statement. I'm happy to document it as such. It should be something clearly stated on the project's home page.

[trly]

Something we should run by the steering committee?

[jupblb]

I'm going to go ahead and suggest we should roll with "SCIP Code Intelligence Protocol" (probably worth updating scip-code/scip docs). It's something that we've used in the marketing materials already. And it's less strict than "semantic".