Summary

Right now, it is not possible to use a mutable parameters as a weight in an SOS constraint due to this check:

. The problem is that this results in an inequality expression that cannot be converted into a bool. It might make more sense to do this validation in the writers rather than the constructors.