How to get all the registered variable names of a `JuMP` model?

[odow]

See object_dictionary(model), JuMP · JuMP, which maps the registered name to the object.

There is no way to go from a variable to the symbolic name. You’ll need to invert the object_dictionary for that.