MiniZinc 2.6 - What's new? This is a big release, with many new language features, more flexible ways to structure output, a visualisation API in the MiniZinc IDE, and lots of small improvements and ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results