https://github.com/minizinc/minizinc-examples

small MiniZinc examples demonstrating various language features
https://github.com/minizinc/minizinc-examples

Last synced: 4 months ago
JSON representation

small MiniZinc examples demonstrating various language features

• Host: GitHub
• URL: https://github.com/minizinc/minizinc-examples
• Owner: MiniZinc
• License: mit
• Created: 2015-06-11T14:20:58.000Z (about 11 years ago)
• Default Branch: master
• Last Pushed: 2017-09-11T00:34:04.000Z (almost 9 years ago)
• Last Synced: 2025-12-12T22:42:17.929Z (7 months ago)
• Size: 44.9 KB
• Stars: 125
• Watchers: 22
• Forks: 26
• Open Issues: 2
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • License: LICENSE

Awesome Lists containing this project

README

          
The MiniZinc Examples Archive - v1.0.0

=================

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](https://www.coursera.org/learn/basic-modeling) MOOC.  The versions of the examples in this repository are maintained to the latest version of MiniZinc and may differ from reference documents.