-- Cleaning the code, Removed traces of equality constraints, as I would like to support only in inequality constraints