This repository contains a collection of small MiniZinc 2.0 models demonstrating various language features. These examples are referenced by the Basic Modeling for Discrete Optimization MOOC. The versions of the examples in this repository are maintained to the latest version of MiniZinc and may differ from reference documents.