---
key: pl/minizinc
kind: plang
name: "MiniZinc"
url: https://plangs.page/minizinc
---

# MiniZinc

> Language for constraint modelling and solving complex combinatorial problems.

Constraint modelling language (or algebraic modeling language) to describe and solve high-complexity problems using a variety of well-known solving paradigms for combinatorial problems, including constraint programming, integer programming, lazy clause generation, SAT, and SMT.

## Facts

- Appeared: 2009
- Homepage: https://www.minizinc.org/
- GitHub: https://github.com/MiniZinc/libminizinc

## Relationships

### Paradigms

- [Constraint](https://plangs.page/paradigm/constraint)
- [Logic](https://plangs.page/paradigm/logic)

### Platforms

- [Apple](https://plangs.page/platform/apple)
- [Cross-Platform](https://plangs.page/platform/cross)
- [Linux](https://plangs.page/platform/linux)
- [Windows](https://plangs.page/platform/windows)

### Type Systems

- [Static](https://plangs.page/type-system/static)

### Written With

- [C++](https://plangs.page/c++)

### Licenses

- [MIT](https://plangs.page/license/mit)
- [MPL](https://plangs.page/license/mpl)

### Tags

- [Mathematical Modeling](https://plangs.page/tag/modeling)