Library name?

[jacobsvante]

First of all, thanks for making this great library.

On February 24, 2022 Russia invaded Ukraine in what can only be seen as a pure act of evil. The amount of civilian casualties and general misery that the Ukrainian people have to endure is chocking.

What does this have to do with this library? Nothing really. The name just immediately reminds me of Russia, and all the horribleness that they are inflicting on the Ukrainian people.

So I'm basically just throwing out the question - have you thought about changing the name to something that doesn't begin with Ru/Rus/Russ?

Something that comes to mind is scip-rs (scip is unfortunately taken on crates.io).

[mmghannam]

Hi @jacobsvante, thank you for raising this. When I first thought about the name it was simply rust+scip, and the t is dropped to make it easier to pronounce. I did not intend for any association or anything really other than that, I just thought it sounded cool. I understand that this might cause confusion for some people as to where the name comes from. I will try to think of a way to make that intention clear, but honestly I like the current name and I'd rather keep it.

I think this fits more into a discussion. I hope you don't mind me moving the issue there.

[jacobsvante]

Thanks for the response @mmghannam. Obviously it up to you to keep the name.