Can't locate findMUS on minizinc docker image

[Amr Hany Saleh]

Hi,

I am using docker to run minizinc, and I usually use the latest image on https://hub.docker.com/r/minizinc/minizinc .

I realized now that findMUS solver does not exist on the minizinc instance installed on the docker image. Is this intentional? Or is there another image that includes it?

Thank you.

--

Best Regards,
Amr Saleh

[Jip Dekker]

FindMUS is currently not included in the MiniZinc docker images. So far we haven't had a need for it (or globalizer) in Docker, but we could most certainly consider including it.

[Amr Hany Saleh]

Thanks Jip for the clarification. I have managed to make it work in an ad-hoc way. It would be nice to include it indeed.

Thank you!

--
You received this message because you are subscribed to the Google Groups "MiniZinc" group.
To unsubscribe from this group and stop receiving emails from it, send an email to minizinc+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/minizinc/aecc8924-5437-4ce3-ab6b-f89d5852b528n%40googlegroups.com.