#MiniZinc

Jip J. Dekker

@dekker.one

2 weeks ago

Are there any other users of #MiniZinc AND @zed.dev? My syntax highlighting extension is now available for download in the normal extensions list. Have a go and let me know how we can further improve it!

GetNews.me

@getnews-me.bsky.social

5 months ago

Gala Framework Uses LLM Agents to Turn Text into MiniZinc Models

Gala splits text-to-MiniZinc conversion across specialized LLM agents, each handling a specific global constraint. Early tests found it generates fewer syntax errors than standard one-shot prompting. getnews.me/gala-framework-uses-llm-... #gala #minizinc

Hakan Kjellerstrand

@hakankj.bsky.social

6 months ago

GitHub - hakank/fzn_picat_sat Contribute to hakank/fzn_picat_sat development by creating an account on GitHub.

Here's the GitHub repo of the source code of the #Picat SAT FlatZinc solver fzn_picat_sat used in the MiniZinc Challenge 2025: github.com/hakank/fzn_p... .

For the result of the #MiniZinc Challenge 2025: www.minizinc.org/challenge/20... . (As mentioned earlier, the Picat SAT solver got two Silver.)

Hakan Kjellerstrand

@hakankj.bsky.social

7 months ago

Results from the #MiniZinc Challenge 2025: minizinc.org/challenge/20...
As earlier years, Google OR-tools got all Gold medals. We (#Picat team) got two Silver (again). Choco: 1 Silver, 1, Bronze; Yuck: Silver; SICStus Prolog, Pumpkin, iZplus, and Atlantis: 1 Bronze.

Congrats to all!

Jip J. Dekker

@dekker.one

7 months ago

Today's paper at #CP2025: Unit Types for #MiniZinc!

Solvers see only integers, but those integers represent very different things. Mixing them up can cause subtle, hard-to-find bugs. Unit types make models safer by distinguishing between resource types, granularities, and delta time.

Jip J. Dekker

@dekker.one

1 year ago

The Monash optimization group is looking for a postdoc to work on optimization modelling and solving for a building design project. Come work with a great community of optimizers of all kinds!

careers.pageuppeople.com/513/cw/en/jo...

#orms #optimization #minizinc #job #postdoc

Jip J. Dekker

@dekker.one

1 year ago

Shaping Research Software: An Interview with the MiniZinc Team | ARDC We spoke to the team behind MiniZinc, an open-source modelling language for rostering, scheduling, resource allocation and solving other optimisation problems.

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: ardc.edu.au/article/shap...

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