Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

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

Open
CervEdin opened this issue Oct 6, 2024 · 1 comment
Open

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

CervEdin opened this issue Oct 6, 2024 · 1 comment

Comments

@CervEdin
Copy link

CervEdin commented Oct 6, 2024

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

@cyderize
Copy link
Member

cyderize commented Oct 6, 2024

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants