MiniZinc (@minizinc) 's Twitter Profile
MiniZinc

@minizinc

MiniZinc is an open-source, solver-independent constraint modeling language.

ID: 3267769141

linkhttp://www.minizinc.org calendar_today04-07-2015 04:20:16

92 Tweet

357 Takipçi

0 Takip Edilen

MiniZinc (@minizinc) 's Twitter Profile Photo

Congratulations to the MiniZinc challenge winners! Another strong performance by or-tools, and nice to see some new entries! All details here: minizinc.org/challenge2020/…

MiniZinc (@minizinc) 's Twitter Profile Photo

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 minizinc.org/changes.html#v…

MiniZinc (@minizinc) 's Twitter Profile Photo

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 (@minizinc) 's Twitter Profile Photo

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 (@minizinc) 's Twitter Profile Photo

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 (@minizinc) 's Twitter Profile Photo

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

zayenz 🐀 (@zayenz) 's Twitter Profile Photo

Erik 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-…

MiniZinc (@minizinc) 's Twitter Profile Photo

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…).

MiniZinc (@minizinc) 's Twitter Profile Photo

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

MiniZinc (@minizinc) 's Twitter Profile Photo

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