MiniZincIDE

MiniZincIDE copied to clipboard

Data file in project not used.

1

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...

vdijken

First; thank you very much for this extraordinary contribution. Free and open source. Amazing! I just wanted to suggest the possibility of providing a portable installation, if possible. At least...

DJuego

findMUS: two objective functions, different outputs

1

Hello With @JolanPhilippe, we have a software stack that generates MiniZinc models. Sometimes, the model generated is not consistent, so we use `findMUS`. There was some unexpected behaviour and we...

cprudhom