MiniZincIDE
MiniZincIDE copied to clipboard
Data file in project not used.
Linux 64 version 2.7.1. When I open a project in the IDE and I perform a right click on the data file; minizinc still asks for the data instead of using the data file. When I explicit open the data file in a second window; the IDE asks if it should use it.
So far I haven't been able to reproduce this. Would you be able to share the project where this happens? (If you can't send it publicly, you can email it to support [at] minizinc.dev).