No archive with sourcecode,

[vdi...@gmail.com]

According to the installation guide there must be a downloadable archive with the source code from which minizinc can be build. But I only see in Github a bunch of 17 incoherent repositories with no clue how to build minizinc from it. How to do this since that archive cannot be found?

[guido.tack]

The two relevant repos are libminizinc for the compiler:

https://github.com/orgs/MiniZinc/repositories

and the MiniZinc IDE repo:

https://github.com/MiniZinc/MiniZincIDE

You can either clone the repositories or download the source code archives from the releases.

Cheers,

Guido