You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.
small MiniZinc examples demonstrating various language features
Notifications You must be signed in to change notification settings
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Go to fileThis 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.