It did not feel like a very productive day, but I merged two new features (commutative CSE & on restart heuristic search) into the #MiniZinc compiler. Hopefully people will enjoy those 🙂

I really didn't want to work this evening, but it feels like I'm always running out of time.

Anyway... The #MiniZinc #Coursera courses are all up-to-date again, hopefully resolving many of the problems that the students were running into.

After being in limbo for a little while, #MiniZinc version 2.7.3 has now been officially released: https://github.com/MiniZinc/MiniZincIDE/releases/tag/2.7.3

Some more interesting bugs that have been resolved

The #MiniZinc releases are following each other quickly at the moment. MiniZinc 2.7.2 has been released this morning to solve some of the more annoying bugs: https://github.com/MiniZinc/MiniZincIDE/releases/tag/2.7.2

Before I stop working for the day, here is a release of MiniZinc Python: https://pypi.org/project/minizinc/0.9.0/

It should resolve some of the warnings you get when trying to use the newer MiniZinc types, and resolves some smaller issues.

#MiniZinc #Python

#MiniZinc 2.7.1 has been released: https://github.com/MiniZinc/MiniZincIDE/releases/tag/2.7.1
It fixing many of the mistakes I made in the 2.7 release. Get it while it’s hot!

New item added to our list of online optimization courses:
A selection of optimization papers from Massachusetts Institute of Technology OpenCourseWare (MIT OCW).
If you know of any other free or low cost online optimization courses, then please let us know.
#orms #optimization #Python #julialang #minizinc #excel
https://www.solvermax.com/resources/links/

We've created a new category of resource links: Online optimization courses.
Currently there are 10 Coursera and EdX courses listed.
If you know of any other free or low cost online optimization courses, then please let us know.
#orms #optimization #Python #julialang #minizinc #excel
https://www.solvermax.com/resources/links/online-courses

#MiniZinc 2.7 is now officially released!

https://www.minizinc.org/doc-2.7.0/en/changelog.html#v2.7.0

The code base has been stale for a while, but I've recently put a lot of effort into updating #Chuffed. With some propagators that we implemented long ago and some bug fixes we have arrived at version 0.11!

https://github.com/chuffed/chuffed/releases/tag/0.11.0

#LCG #MiniZinc

Some exciting things in the works this week. A new #MiniZinc release is not too far off

@parubin I would also point out that #MiniZinc also automatically reformulates its models for MIP solvers (more so than AMPL). It has builtin support for all mainstream MIP solvers

I just noticed in my email that #HIGHS version 1.4.0 has been released: https://github.com/ERGO-Code/HiGHS/releases/tag/v1.4.0 I'm excited to see if we can add the new "warm start" functionality to the #MiniZinc interface.

Now I just have to find the time to do the coding. With the #CPAIOR deadline this week, it might have to wait a bit.

@GregorJ @rbassett @mluebbecke Since the #MiniZinc Challenge is scored using a variation of a Borda count. It is quite clear there as well HIGHS can beat SCIP on multiple problems. It even looks like when activating parallel threads, then HIGHS manages to jus beat SCIP in the overall score as well.

@rbassett @mluebbecke HIGHS also did quite well on this year’s #MiniZinc challenge, doubling the score of CBC and getting a score close to SCIP: https://www.minizinc.org/challenge2022/results2022.html
Personally I’ve also found it to be extremely easy to integrate into an application, compared to other MIP solvers, so I would most definitely recommend it.

It looks like a few people have already found the new repository that contains some of the work Jason has been doing to make it easy to use the #MiniZinc #WebAssembly build: https://github.com/MiniZinc/minizinc-js

This is already used in the online MiniZinc playground that you can try here: https://www.minizinc.org/solve/

(Disclaimer: these things are both still a little experimental) #code

With some workarounds, there a two small updates to #Homebrew tap of #MiniZinc solvers:

- fzn-oscar-cbls has been added! 🎉
- Yuck has been updated to the latest release. ⬆️

Installation instructions can be found here: https://github.com/Dekker1/homebrew-minizinc

Hi Mastodon!

I'm a computer scientist working on the #MiniZinc modelling language. The perfect way to model your #optimization /#orms problems. (At least if you you were to ask me).

As an #OPTIMA research fellow at #Monash University, I generally love research into programming languages & combinatorial optimisation methods.

When I don't have anything to say about work, you may find me posting about my hobbies, such as music, birds, cycling, and cricket, instead.

#introduction #introductions

@zeitgenosse #MiniZinc klingt cool, kannte ich nicht! Muss man das ganze jedoch gleich in eine einfache Web-Anwendung packen würde ich doch lieber zu #python python-constraint und #flask oder #django greifen.