Sort the constraints before printing based on their variable name to help the user compare constraints.
A simple stringcompare would even be useful, but a comparison on variable indices would be even better. E.g., check if the last characters of a variable name form a number. Order the variable names on their string without this number, break ties on number.
StephanGocht
commented
2 years ago
Sort the constraints before printing based on their variable name to help the user compare constraints.
A simple stringcompare would even be useful, but a comparison on variable indices would be even better. E.g., check if the last characters of a variable name form a number. Order the variable names on their string without this number, break ties on number.