O4A Australia - Model without numbers (!)

MiniZinc is a high-level constraint modeling language that allows you to easily express and solve discrete optimization problems. Just like in other #modelling languages, you can express your problem by encoding it into integer and continuous variables, constraining them to only the feasible solutions, and optimising some objective function. Professor Guido Tack will show you how to model combinatorial problems without using numbers at all, or at least without using plain integers. 🍎 You will see how enumerated types can distinguish between apples and oranges, and how unit types can stop you from mistaking dollars for euros. Finally, you will look at a brand-new extension that brings object-oriented features into #constraint-modeling. The talk features lots of interactive exercises that you can follow along with in your browser (no software installation required). 🌻 If you have never used MiniZinc before, this will give you a taste of the language. 😎 If you are already familiar with it, you will learn how to make better use of its type system. Slides, tutorials and other useful details: https://github.com/MiniZinc/model-wit...