When I start the MiniZinc IDE 2.5.2 under Windows with an empty `%TEMP%` directory, I get remaining files `mzn_*.mpc`. Identical content of the files: ``` { "intermediate-solutions": true, "solver": "org.gecode.gecode@6.3.0" } ``` For each of the following steps, two or three of these files are created: 1. Starting the IDE 2. Opening my most recent *.mzn file 3. Running the Gecode solver I tried and reset the Gecode solver configuration to default values, but the behaviour remained unchanged. The files are not removed after closing the IDE.
Activity
cyderize commentedon Nov 22, 2020
This should already be fixed in
develop(same issue as #128) and will be in 2.5.3.cyderize commentedon Nov 25, 2020
This should now be in 2.5.3.