Into the Unknown
Basic Modeling for Discrete Optimization The University of Melbourne The Chinese University of Hong Kong This is the official course of learning MiniZinc, which is a high-level constraint modelling language that allows you to easily express and solve discrete optimization problems. Learning how to build models could easily become a mind-dumbing task, but fables will…
A typical problem requiring us to select a subset from a set of objects that meets some criteria and optimize some objective functions. This kind of problem is likely to be represented as an array of 0/1 variables, or an array of boolean variables. Or in MiniZinc, we can use set variables. Set Variables Modeling…
MiniZinc allows us to directly describe and solve discrete optimization problems. MiniZinc is a modeling language, you can throw the problem at different solvers. Instead of using a specific solver directly, the benefit of using a modeling language is that the user can try different solvers easily to find the one that works best for…