Benoît Legat

Yes, I'm unsure that we need it, we've also been able to have bridge act differently depending on properties of a variable by checking whether they are constrained to belong...

This is true, maybe `model_convert` fixes this now, I'll try it out in https://github.com/jump-dev/SumOfSquares.jl/pull/249

Haven't had time to check yet

Let me take a look this week :)

There are still a few missing

I think we're good, these are not the only attributes not implemented by bridges

IIRC, you were mentioning a use case for the identity index map recently but I don't recall. Anyway, this comes from the benchmarking of SCS that we did for the...

Yes, it's not high priority

We've been discussing the overhead of `IndexMap` in a few other issues as well, I still think it is worth it, not only for `MatrixOfConstraints`

Yes but you could model your CP with `Int` and then want to use HiGHS which would want everything in `Float64`.