`libminizinc_jll`?

[pedromxavier]

Dear maintainers, was there any attempt to build a JLL for libminizinc? This could be a step towards solving the Windows binding issue (#36).

[odow]

We already build libminizinc on Yggdrasil: https://github.com/JuliaPackaging/Yggdrasil/blob/master/M/MiniZinc/build_tarballs.jl
But there is a cross compilation problem for Windows, and I don't have a machine to test or debug so I never made much progress. (And the RAI folks don't use Windows, so there wasn't customer demand.)

[odow]

I think the solution to this is jump-dev/jump-dev.github.io#171