MiniZincIDE
MiniZincIDE copied to clipboard
Bundled or-tools in snap package is missing the required mznlib
Running mininzinc --solver cp-sat in the latest snap installation doesn't work.
Comparing the folder structure in the tarball and the snap package it looks like the share/minizinc/cp-sat folder is missing from the snap installation and I think it's required
Thanks! The stable and edge channels of the snap package should be updated and fixed soon.