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
Running
mininzinc --solver cp-satin 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-satfolder is missing from the snap installation and I think it's required