Since vars aren't explicitly added (only when they appear in the objective or constraint), there are sometimes errors when removing them in the simplifying step (they're not even in the model).
Possible solutions are adding all the vars explicitly, ignoring the vars that don't exist in the simplification, etc.
Since vars aren't explicitly added (only when they appear in the objective or constraint), there are sometimes errors when removing them in the simplifying step (they're not even in the model).
Possible solutions are adding all the vars explicitly, ignoring the vars that don't exist in the simplification, etc.
An example input is this one