MiniZinc

MiniZinc 2.7.0 has been released! Main new feature: tuples and records. Sorry for the long hiatus - lots of work going on in the background! Download from minizinc.org

We’re running an online constraint modelling competition on 31 July. Team up, use your favourite tools and solve some fun problems. More details and registration at modref.github.io/ModRef2022.html

A few more bugs squashed in the new MiniZinc 2.6.2, now available at minizinc.org

MiniZinc 2.6.1 is now available from minizinc.org. This release fixes a number of bugs (see the change log for details at minizinc.org/doc-2.6.1/en/c…).

@Thuvientje We’ve updated the snap package, it should work now.

@minizinc Does not work on Linux Mint via snap store: minizinc *** stack smashing detected ***: terminated Afgebroken (geheugendump gemaakt)

MiniZinc 2.6.0 is now available from minizinc.org! It's been almost a year since 2.5.5, but you get rewarded for your patience with a big update.

A big thank-you to the whole team: minizinc.org/team.html

And all the details are in the full change log: minizinc.org/doc-2.6.0/en/c…

@lucasdicioccio Yes!

@bernhardsson This year I’m solving some of the days in MiniZinc, which is not at all suited for general programming (it is mostly made for modeling, but has recursive functions). It is a fun challenge :-) github.com/zayenz/advent-…

You can also watch the announcement here: youtu.be/IHbFcneE80M There was a small bug in our scoring scripts, so the results in the video are not quite correct (bronze medals for Parallel/Open are shared by iZplus and Choco).

The MiniZinc challenge 2021 results are out: minizinc.org/challenge2021/… Congratulations to a very strong performance by or-tools (4 gold medals), and medals won by JaCoP, SICStus, PicatSAT, iZplus, Choco, Yuck and OscaR/CBLS!

If you have an interesting problem we could use for the 2021 MiniZinc challenge, please consider submitting a model! minizinc.org/challenge2021/…

Oops! Some bugs slipped into the 2.5.4 release. We've released MiniZinc 2.5.5 to hopefully make up for it. Available in the usual place: minizinc.org

MiniZinc 2.5.4 is now available from minizinc.org

Great addition to the MiniZinc solver zoo!

Fresh off the continuous integration servers: MiniZinc 2.5.3 is now available from minizinc.org. See change log at minizinc.org/doc-2.5.3/en/c….

MiniZinc 2.5.1 is now available, fixing a few bugs that had crept into the previous release. Download from minizinc.org and see the change log at minizinc.org/changes.html

MiniZinc 2.5.0 has been released! Lots of new features, e.g. extended enumerated types, more constraints on option types, reading options from configuration files, updates to the IDE... Download from minizinc.org and see the full change log at #v2.5.0" target="_blank" rel="nofollow noopener">minizinc.org/changes.html#v…