MiniZincIDE icon indicating copy to clipboard operation
MiniZincIDE copied to clipboard

Bundled or-tools in snap package is missing the required mznlib

Open CervEdin opened this issue 1 year ago • 1 comments

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

CervEdin avatar Oct 06 '24 19:10 CervEdin

Thanks! The stable and edge channels of the snap package should be updated and fixed soon.

cyderize avatar Oct 06 '24 22:10 cyderize