The latest issue of the Constraints Journal is out now. Check it out here: https://link.springer.com/journal/10601/volumes-and-issues/29-3

#ConstraintProgamming #AI #ArtificialIntelligence #AcademicMastodon #News #ConstraintModelling

Because of our Eureka Prize nomination, the MiniZinc team was interviewed by the ARDC. Learn about some MiniZinc projects, and our perspective on MiniZinc and its development: https://ardc.edu.au/article/shaping-research-software-an-interview-with-the-minizinc-team/

#MiniZinc #Development #SoftwareEngineering #ConstraintModelling #ORMS #Optimization

📣 MiniZinc 2.8.6 is here! 🎉

This release includes various bug fixes and improvements. See the full changelog here: https://docs.minizinc.dev/en/2.8.6/changelog.html#version-2-8-6

Upgrade now and start modelling! 🚀

#MiniZinc #ConstraintModelling #Optimization #ORMS

The full MiniZinc challenge results are now available on the website: https://www.minizinc.org/challenge/2024/results/

Thank you to all the dedicated solver creators that competed in the competition!

#MiniZinc #ConstraintModelling #Optimization

I’m excited to share that the core MiniZinc team is one of the finalists for the 2024 Eureka Prize for Excellence in Research Software. It’s an honour to be shortlisted for such a prestigious award.

https://youtu.be/a4IMa5MjAGo?si=52NzR4-LLylPuakq

#MiniZinc #ConstraintModelling #EurekaPrizes

🚨   “XCSP3-serde” - new rust crate!

In my (never ending) quest to understand different constraint modelling tool chains, I've implemented a crate that (de-)serialized XCSP3. For now it implements most of the “core” features, but I will extend it over time. Let me know if there is any feature you're missing.

https://docs.rs/xcsp3-serde/latest/xcsp3_serde/

#XCSP #ConstraintModelling #ORMS #Optimization

Another MiniZinc patch release is now available. The MiniZinc package now includes the latest OR-Tools solver, and the compiler now includes fixes for many small issues to get ready for the next MiniZinc challenge. Have a look at the change log for more details.

https://www.minizinc.org/doc-2.8.5/en/changelog.html#v2-8-5

#MiniZinc #ConstraintModelling #Optimization #ORMS

Vibing to Pomplamoose's cover of Daft Punk's Harder, Better, Faster, Stronger (https://youtu.be/fUpdfpOPf4Y?si=vD5U0QZrh5hg_1Ni), while waiting for the video of my presentation to render, in preparation for the Workshop on Constraint Modelling and Reformulation (https://modref.github.io/ModRef2023.html), which is being held today in conjunction with @cp2023conf .

"More than ever, hour after hour
Work is never over"

#PostdocLife #CP2023conf #AcademicChatter #AcademicMastodon #ConstraintProgramming #ConstraintModelling

1/ BREAKING

We can now reveal which workshops have been accepted to this year's conference: https://cp2023.a4cp.org/workshops.html

First up: ModRef 2023, The 22nd workshop on Constraint Modelling and Reformulation, organised by Peter Nightingale and Elias Khalil. Paper submission deadline on July 7th, 2023.

https://modref.github.io/ModRef2023.html

#CP2023 #ConstraintModelling #ConstraintProgramming #CallForPapers #CP2023conf #ConstraintProgramming #AI #ArtificialIntelligence #Breaking #AcademicMastodon