Raphaël Boudreault
Raphaël Boudreault
From the MiniZinc IDE 2.5.5 on Windows 10, with bundled version of Chuffed 0.10.4, using the CP-Profiler (option _Profile search_) sometimes lead to an unreadable graph output, with nodes overlapping...
Using Python infinity value in the MiniZinc data is encoded in JSON as "Infinity" instead of "infinity", which makes MiniZinc crash. I believe the best way would be to change...
It seems like release 1.3 in pypi is not up to date with branch `master`, including the latest fixes. Could you please make sure it is synchronized and properly versioned...
Would it be possible to include precedent stable releases for the snap package install? I believe it could be interesting to easily revert and go back to a precedent version...
Hello, I am currently trying to use `findMUS` on a model compiled for the Chuffed solver using it as a subsolver with option `--subsolver chuffed`. In my model, I use...
Hi, I am currently using MiniZinc with the SCIP solver. In the MiniZinc IDE, I am able to see the different "Extra configuration parameters" available for SCIP in the configuration...
OS: Linux Ubuntu 22.04 MZN version: 2.8.5 Hello! I am currently working on a MiniZinc model involving float and integer variables, using a linear solver (in my case, SCIP 8.0.4)....
OS: Linux Ubuntu 22.04 MZN version: 2.8.5 Using ``minizinc --help `` from the command line (for example with Chuffed), option ``-f``/``--free-search" is not described in the output. Shouldn't it be...