Home › Entities › declarative_programming_language › MiniZinc

MiniZinc

constraint modeling language
Place declarative_programming_language Q86358817

Facts

12 properties
Instance of
declarative programming language, constraint programming language, programming tool, open-source software[2][3][4]
Inception
May 2, 2009
Official website
www.minizinc.org
Copyright license
Mozilla Public License, version 2.0[6]
Copyright status
copyrighted
Developer
Monash University[5]
File extension
mzn, fzn, dzn
Operating system
Linux, Microsoft Windows, macOS[8][9][10]
Programmed in
C++[7]
Programming paradigm
constraint programming
Software version identifier
2.0.2, 2.0.4, 2.0.5, 2.0.6, 2.0.7, 2.0.8, 2.0.9, 2.0.10, 2.0.11, 2.0.12, 2.0.13, 2.0.14, 2.1.0, 2.1.1, 2.1.2, 2.1.3, 2.1.4, 2.1.5, 2.1.6, 2.1.7, 2.2.0, 2.2.1, 2.2.2, 2.2.3, 2.3.0, 2.3.1, 2.3.2, 2.4.0, 2.4.1, 2.4.2, 2.4.3, 2.5.0, 2.5.1, 2.5.2, 2.5.3, 2.5.4, 2.5.5, 2.6.0, 2.6.1, 2.6.2, 2.6.3, 2.6.4, 2.7.0, 2.7.1, 2.7.2, 2.7.3, 2.7.4, 2.7.5, 2.7.6, 2.8.0, 2.8.1, 2.8.2, 2.8.3, 2.8.4, 2.8.5, 2.8.6, 2.8.7, 2.9.0, 2.9.1, 2.9.2, 2.9.3, 2.9.4, 2.9.5, 2.9.6, 2.9.7, 2.10.0, 2.10.1[11][12][13][14][15][16][17][18][19][20][21][22][23][24][25]
Typing discipline
strong typing
🏷️ Also known as
en MiniZinc
🔖 Identifiers · 14
AlternativeTo software ID
minizinc
Docker Hub repository
minizinc/minizinc
GitHub account
MiniZinc
GitHub topic
minizinc
Google Knowledge Graph ID
/g/11jg8rf_dt
Homebrew formula name
minizinc
MacPorts port
minizinc
Programming Language Database ID
minizinc
PyPI project
minizinc
Repology project name
minizinc
Source code repository URL
github.com
Stack Exchange tag
stackoverflow.com
Show all 14 identifiers +2
Subreddit
MiniZinc
User manual URL
docs.minizinc.dev

Report an error or request removal Lineage (PROV-JSON)

🔗 Connections
Instance of 4
open-source software, programming tool, declarative programming language, constraint programming language
Operating system 3
Linux, Microsoft Windows, macOS
Developer 1
Monash University
Programmed in 1
C++
Programming paradigm 1
constraint programming
Typing discipline 1
strong typing
Press Enter · cited answer in seconds

Summary

MiniZinc is a declarative programming language[1].

Body

History and Context

May 2, 2009 marks the founding of MiniZinc[26].

Related Entities

C++ constraint programming language declarative programming language Linux macOS Microsoft Windows open-source software

References

Programmatic citations — every numbered marker resolves to a verifiable graph row below.

Direct Wikidata claims

  1. [2] ↑ . wikidata.org.
  2. [3] ↑ . wikidata.org.
  3. [4] ↑ . wikidata.org.
  4. [5] ↑ . wikidata.org.
  5. [6] ↑ . wikidata.org.
  6. [7] ↑ . wikidata.org.
  7. [8] ↑ . wikidata.org.
  8. [9] ↑ . wikidata.org.
  9. [10] ↑ . wikidata.org.
  10. [11] ↑ . wikidata.org.
  11. [12] ↑ . wikidata.org.
  12. [13] ↑ . wikidata.org.
  13. [14] ↑ . wikidata.org.
  14. [15] ↑ . wikidata.org.
  15. [16] ↑ . wikidata.org.
  16. [17] ↑ . wikidata.org.
  17. [18] ↑ . wikidata.org.
  18. [19] ↑ . wikidata.org.
  19. [20] ↑ . wikidata.org.
  20. [21] ↑ . wikidata.org.
  21. [22] ↑ . wikidata.org.
  22. [23] ↑ . wikidata.org.
  23. [24] ↑ . wikidata.org.
  24. [25] ↑ . wikidata.org.
  25. [26] ↑ . wikidata.org.

Class ancestry

  1. [1] ↑ . Wikidata. wikidata.org.

📑 Cite this page

Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.

APA 4ort.xyz Knowledge Graph. (2026). MiniZinc. Retrieved November 1, 2026, from https://4ort.xyz/entity/minizinc
MLA “MiniZinc.” 4ort.xyz Knowledge Graph, 4ort.xyz, 1 Nov. 2026, https://4ort.xyz/entity/minizinc.
BibTeX @misc{4ortxyz_minizinc_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{MiniZinc}}, year = {2026}, url = {https://4ort.xyz/entity/minizinc}, note = {Accessed: 2026-11-01}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): MiniZinc — https://4ort.xyz/entity/minizinc (retrieved 2026-11-01)

Canonical URL: https://4ort.xyz/entity/minizinc · Last refreshed:

Edit History

Rolling log of changes to this entity's Wikidata record. Values shown reflect the current state of each edited property — follow the history link to see the precise diff for any edit.

  1. 9w ago · Github-wiki-bot bot · 2026-09-01 view diff on Wikidata ↗
    Software version identifier → 2.0.2, 2.0.4, 2.0.5 +64
    "/* wbeditentity-statements-single-property-update:1||2 */ Software version identifier, Update with GitHub data ([[:toollabs:editgroups/b/CB/9f0bc28b0c64|details]])"
  2. 14w ago · Github-wiki-bot bot · 2026-07-23 view diff on Wikidata ↗
    Software version identifier → 2.0.2, 2.0.4, 2.0.5 +64
    "/* wbeditentity-statements-single-property-update:1||2 */ Software version identifier, Update with GitHub data ([[:toollabs:editgroups/b/CB/5f6bb84a06f8|details]])"
  3. 26w ago · Github-wiki-bot bot · 2026-04-30 view diff on Wikidata ↗
    Copyright status → —
    File extension → —
    Source code repository URL → https://github.com/MiniZinc/libminizinc
    Typing discipline → strong typing
    + 50 other properties edited (see Wikidata diff for full list)
    "/* wbeditentity-statements-single-property-update:1||2 */ Software version identifier, Update with GitHub data ([[:toollabs:editgroups/b/CB/bff13ffb1111|details]])"
Live feed via Wikidata EventStreams. New edits appear within minutes of being made on Wikidata.