Search
927 results for “Dekker1”
-
1/ We're happy to announce that there is a program for the Workshop on Teaching Constraint Programming:
https://hsimonis.github.io/WTCP2023/ 🧑🏫🥳
There will be an invited talk by Carleton Coffrin, @Dekker1, Jimmy H.M. Lee, Jason Nguyen, Peter J. Stuckey, Guido Tack and Allen Zhong on Automating Solution Checking and Grading with MiniZinc.
#CP2023conf #ConstraintProgramming #Teaching #AcademicMastodon #MiniZinc #ArtificialIntelligence #AcademicMastodon #Conference #Workshop
-
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! 🚀
-
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!
-
The MiniZinc Challenge results will be announced soon! 🥳
#MiniZinc https://mastodon.acm.org/@cp_conf/113083601921201917
-
I just got home from seeing the Wicked musical in Melbourne.
It’s an amazing experience, great music, actors, and the staging is incredible.
I’m glad I got a chance to catch it before its season finishes next week. -
I just got home from seeing the Wicked musical in Melbourne.
It’s an amazing experience, great music, actors, and the staging is incredible.
I’m glad I got a chance to catch it before its season finishes next week. -
I just got home from seeing the Wicked musical in Melbourne.
It’s an amazing experience, great music, actors, and the staging is incredible.
I’m glad I got a chance to catch it before its season finishes next week. -
I just got home from seeing the Wicked musical in Melbourne.
It’s an amazing experience, great music, actors, and the staging is incredible.
I’m glad I got a chance to catch it before its season finishes next week. -
I just got home from seeing the Wicked musical in Melbourne.
It’s an amazing experience, great music, actors, and the staging is incredible.
I’m glad I got a chance to catch it before its season finishes next week. -
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.
-
🚨 :rust: “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.
-
Has anyone noticed yet that the MiniZinc documentation has moved to @readthedocs ?
It is now easier than ever to navigate between different versions of the documentation. https://docs.minizinc.dev/
-
I really like the small optimizations I merged into MiniZinc. When you use the `in` or inequality operators on records or tuples, then the compiler will automatically try and create `table` or `lex_less(eq)` constraints. 🙌
-
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.
-
We just started a LinkedIn group for MiniZinc practitioners and enthusiasts: https://www.linkedin.com/groups/14443233/
(I understand that this might not be everyone's cup of tea, and I will try and keep people up-to-date here as well)
-
Today we launch the new MiniZinc website! At the same time Monash University has released a new promotional video for our project. Feel free to use and share this video to let other people know about MiniZinc.
-
A new release of the FlatZinc serde Rust crate: https://crates.io/crates/flatzinc-serde/0.2.0
It now has support for printing the FlatZinc structures in the traditional `.fzn` format, and using your own `FromStr + Display` type for the Identifiers when (de)serializing.
-
With the addition of FlatZinc JSON, connecting your solver to the MiniZinc is easier than ever before.
If you are writing a combinatorial solver in Rust, then have a look at this crate I've just published: https://docs.rs/flatzinc-serde/0.1.0/flatzinc_serde/ It contains a Serde definition that makes deserializing FlatZinc JSON a breeze.
-
@AhmetAkkoc we actually run a lot of industry PhD project through #OPTIMA. Although every project is unique, all student that I personally know are very positive. If you need any specific advice or want me to put you in contact with some of the students to get their perspective, let me know.
-
I really enjoyed this talk by @robpike reflecting on #Go: https://www.youtube.com/watch?v=yE5Tpp2BSGw
Creating a programming language that is practical for its community is hard work. Hearing someone with so much experience talking about the process and the lessons learned is really wonderful.Hopefully I can incorporate some of these lessons into #MiniZinc
-
There we go, the first fix for 2024 has been merged into #MiniZinc: https://github.com/MiniZinc/libminizinc/commit/a905428774b986ddae38f5c36536aa2c3a0defa0
-
It is rather ironic when your code coverage for testing complains about not reaching the part of your algorithm that you marked in rust as `unreachable!()`.
-
A great unknown #MiniZinc feature, is the `trace_exp` function. It automatically gives a useful tracing message every time the compiler processes the function argument, showing the result.
Playground: https://t.ly/beb1K
-
#OPTIMA, the ARC training centre I work for, is looking for a new Australian PhD student for an exciting project.
#PhDPosition #PhD