4 ms·

Huh I haven't thought that I will see minizinc outside of my university. I keep being pleasantly surprised that constraint programming and formal methods are be

by mad0 3y ago

Huh I haven't thought that I will see minizinc outside of my university. I keep being pleasantly surprised that constraint programming and formal methods are being used somewhere out there.

scholaronroad 3y ago
Out of curiosity, which university is this? IMO the number of universities that actually teach CP is small.
- adamnemecek 3y ago
  Guessing Monash.
- mad0 3y ago
  This was on AGH (Akademia Górniczo Hutnicza) in Krakow, Poland. I did my masters there. The course was kind of zero to hero type of thing. Here is the syllabus (unfortunately it is in polish but maybe you will be able to translate it): https://sylabusy.agh.edu.pl/en/document/065a0d32-a947-4234-a289-ce0db953af97.pdf https://sylabusy.agh.edu.pl/en/document/065a0d32-a947-4234-a...
philzook 3y ago
There are some nice coursera courses on minizinc - https://www.coursera.org/learn/discrete-optimization https://www.coursera.org/learn/discrete-optimization good hats. very fun. - https://www.coursera.org/learn/basic-modeling https://www.coursera.org/learn/basic-modeling
- WJW 3y ago
  The hats in the discrete optimization course are indeed good and it's a fun course. Highly recommended! It's extremely rare that I find myself needing to pull out the big boy tools in $DAYJOB but it's good to know they exist and how to use them. Helped out in one of the later days of advent of code, too.