Closed zayenz closed 4 years ago
This adds slightly better error messages in flat-zinc when there are constraint names in the MiniZinc file.
An error that was previously reported as
Error: Gecode: Float::linear: Number out of limits
will now (given that the constraint the error originates from has been annotated in the MiniZinc file) be reported as
Error: Gecode: Float::linear: Number out of limits in constraint "my constraint name"
Also, adds an .editorconfig file, to ensure consistent spacing for many different editors.
This adds slightly better error messages in flat-zinc when there are constraint names in the MiniZinc file.
An error that was previously reported as
will now (given that the constraint the error originates from has been annotated in the MiniZinc file) be reported as
Also, adds an .editorconfig file, to ensure consistent spacing for many different editors.