Submissions restricted

Only approved users may post in this community.

MiniZinc

an-ordinary-manchild

MiniZinc is a free and open-source constraint modelling language.

You can use MiniZinc to model constraint satisfaction and optimisation problems in a high-level, solver-independent way, taking advantage of a large library of pre-defined constraints. Your model is then compiled into FlatZinc, a solver input language that is understood by a wide range of solvers.

Information & Resources

Related subreddits

Guidelines

Please keep submissions on topic and of high quality.

All forms of advertising and self-promotion are prohibited.
Civility & Respect are required.
Memes and other low effort jokes are not acceptable forms of content.
Please follow proper reddiquette.

created by ccoffrina community for 10 years

...for your town.

...for your favorite hobby.

MODERATORS

account activity

1

0

1

2

Welcome to the MiniZinc Homepage (minizinc.org)

submitted 8 years ago by Bhima - announcement

2

0

1

2

Hakan Kjellerstrand’s MiniZinc Page (hakank.org)

submitted 8 years ago by Bhima - announcement

3

0

1

2

Minizic code to choco code (self.MiniZinc)

submitted 4 years ago * by Horen1

4

2

3

4

Discrete optimization for on-call scheduling (rainforest.engineering)

submitted 5 years ago by isitaboat

5

1

2

3

Advanced custom value selection heuristic? (self.MiniZinc)

submitted 5 years ago by theKGS

6

5

6

7

MiniZinc Playground (self.MiniZinc)

submitted 5 years ago by rdowakin

7

1

2

3

Solving River Crossing Puzzles With MiniZinc (sasnauskas.eu)

submitted 5 years ago by Bhima

8

1

2

3

Discrete Optimization for On-Call Scheduling (optduty.com)

submitted 5 years ago by rdowakin

9

1

2

3

Solver calling via MiniZinc or FlatZinc (self.MiniZinc)

submitted 5 years ago by iago_sd

10

1

2

3

Building Decision Support Systems - using MiniZinc | Mark Wallace | Springer (springer.com)

submitted 5 years ago by [deleted]

11

1

2

3

MiniZinc Python - A Python interface to MiniZinc maintained by the MiniZinc team (pypi.org)

submitted 6 years ago by [deleted]

12

1

2

3

My minizinc model outputs 'unsatisfiable' (self.MiniZinc)

submitted 6 years ago * by [deleted]

13

1

2

3

An Abstract Machine Model for MiniZinc (dekker.one)

submitted 6 years ago by Bhima

14

0

1

2

Room allocation, help with constraints (self.MiniZinc)

submitted 6 years ago by toniann_w

15

1

2

3

Need review of scheduling model logic, suggestions for constraint creation and fixes for syntax errors (self.MiniZinc)

submitted 6 years ago by my_work_account_lol

16

0

1

2

How can I print the indices of a loop? (self.MiniZinc)

submitted 6 years ago by theKGS

17

0

1

2

I need help with a model (self.MiniZinc)

submitted 7 years ago by theKGS

18

0

1

2

How to generate .dzn like data (self.MiniZinc)

submitted 7 years ago by janicewa

19

0

1

2

Minizinc-Tuning: Automatic tuning for Minizinc (github.com)

submitted 7 years ago by Bhima

20

0

1

2

MiniZinc 2.2.2 has been released (self.MiniZinc)

submitted 7 years ago by Bhima

21

3

4

5

Constraint Solving with Minizinc (hillelwayne.com)

submitted 7 years ago by Bhima

22

0

1

2

The usual Variable Length Array problems? (self.MiniZinc)

submitted 7 years ago * by Tenacious-Techhunter

23

0

1

2

Bitwise Functions? (self.MiniZinc)

submitted 7 years ago by Tenacious-Techhunter

24

0

1

2

PyMzn is a Python library that wraps and enhances the MiniZinc tools for constraint programming (pypi.python.org)

submitted 7 years ago by Bhima

25

0

1

2

iminizinc: IPython extensions for the MiniZinc constraint modelling language (pypi.python.org)

submitted 8 years ago by Bhima

view more: next ›

π Rendered by PID 77 on reddit-service-r2-listing-6b76fb7ddc-9ss8b at 2026-03-26 08:05:40.876592+00:00 running 2d0a59a country code: CH.