MiniZinc

Contact owners and managers

1–30 of 611

Welcome to the MiniZinc discussion group!

This forum is available for anyone who is interested in MiniZinc (no matter whether you're a beginner or an expert).

Please note that the forum is moderated: The first message that you post to this group will be held for moderation, so you may have to wait a day or two before your message appears.

0 selected

Andrey Rybalchenko, Jip Dekker4

Apr 28

use variable to index into array of records with arrays

Hi Andrey, You're right that we probably could easily allow this when the arrays are guaranteed

unread,

use variable to index into array of records with arrays

Hi Andrey, You're right that we probably could easily allow this when the arrays are guaranteed

Apr 28

Marco Correia, Jip Dekker2

Apr 16

Partial flattening

Hi Marco, The MiniZinc compiler currently does not have the capability to do this type of partial

unread,

Partial flattening

Hi Marco, The MiniZinc compiler currently does not have the capability to do this type of partial

Apr 16

vdi...@gmail.com, guido.tack2

Apr 16

No archive with sourcecode,

The two relevant repos are libminizinc for the compiler: https://github.com/orgs/MiniZinc/

unread,

No archive with sourcecode,

The two relevant repos are libminizinc for the compiler: https://github.com/orgs/MiniZinc/

Apr 16

Rasheed, Cyderize3

Feb 19

Solving several problem at once using command line

Great ! Thanks a lot Jason for your help ! I had to put the entire path of the "CPMODEL.mzn

unread,

Solving several problem at once using command line

Great ! Thanks a lot Jason for your help ! I had to put the entire path of the "CPMODEL.mzn

Feb 19

Feb 11

Call for Problem Submission for the MiniZinc Challenge 2024

The MiniZinc Challenge is an annual solver competition in the Constraint Programming (CP) community

unread,

Call for Problem Submission for the MiniZinc Challenge 2024

The MiniZinc Challenge is an annual solver competition in the Constraint Programming (CP) community

Feb 11

Olaf, Amr Hany Saleh3

12/11/23

translating a "test" to minizinc

thank you Amr Hany that was already a great help. right now i am learning how to translate my ideas

unread,

translating a "test" to minizinc

thank you Amr Hany that was already a great help. right now i am learning how to translate my ideas

12/11/23

meta_leap, Michael Marte3

12/5/23

Optimization problems: "maximize (this), then minimize (that)" ie. for equal-(this) solution

Hi, you might want to try Yuck (https://github.com/informarte/yuck) which supports lexicographic

unread,

Optimization problems: "maximize (this), then minimize (that)" ie. for equal-(this) solution

Hi, you might want to try Yuck (https://github.com/informarte/yuck) which supports lexicographic

12/5/23

Amr Hany Saleh, Jip Dekker3

12/1/23

Can't locate findMUS on minizinc docker image

Thanks Jip for the clarification. I have managed to make it work in an ad-hoc way. It would be nice

unread,

Can't locate findMUS on minizinc docker image

Thanks Jip for the clarification. I have managed to make it work in an ad-hoc way. It would be nice

12/1/23

jack drawbridge, … Jip Dekker8

11/28/23

Syntax related issues --Having difficulty with and resolving syntax

Thank you again Jip Dekker. Your suggested code does provide more readable output in a format I was

unread,

Syntax related issues --Having difficulty with and resolving syntax

Thank you again Jip Dekker. Your suggested code does provide more readable output in a format I was

11/28/23

meta_leap, … Jip Dekker4

11/28/23

What am I missing from this "Grocery problem (7/11 problem)"?

Ah, that is a good point. Thank you for pointing it out. I overlooked the fact that with

unread,

What am I missing from this "Grocery problem (7/11 problem)"?

Ah, that is a good point. Thank you for pointing it out. I overlooked the fact that with

11/28/23

vdi...@gmail.com, Jip Dekker2

11/28/23

Recording used solver

It seems you are looking for the parameter file feature: https://www.minizinc.org/doc-2.8.1/en/

unread,

Recording used solver

It seems you are looking for the parameter file feature: https://www.minizinc.org/doc-2.8.1/en/

11/28/23

Laurent Alebarde, Jip Dekker2

11/27/23

Multi-Skill Project Scheduling

Hi Laurent, I'm not aware of any MiniZinc model for this problem, but I can find the articles you

unread,

Multi-Skill Project Scheduling

Hi Laurent, I'm not aware of any MiniZinc model for this problem, but I can find the articles you

11/27/23

Carl Örnberg, … Mohamed H. Ibrahim3

11/23/23

Concatenating arrays or sets

For the second question, I think you can use an adjacency matrix with zeros to represent no

unread,

Concatenating arrays or sets

For the second question, I think you can use an adjacency matrix with zeros to represent no

11/23/23

meta_leap, boris...@gmail.com5

11/23/23

How to model the finding of linked-list or graph solutions?

Yes, the paradigms are very different. In conventional programming (except maybe logical programming)

unread,

How to model the finding of linked-list or graph solutions?

Yes, the paradigms are very different. In conventional programming (except maybe logical programming)

11/23/23

11/22/23

Newbie problem: (no error message) " in binary '=' operator expression" with trivialest-ever `constraint`

OK the setting-initial-value for the `array of var Shop` seemed to cause that. Fair enough, lesson

unread,

Newbie problem: (no error message) " in binary '=' operator expression" with trivialest-ever `constraint`

OK the setting-initial-value for the `array of var Shop` seemed to cause that. Fair enough, lesson

11/22/23

meta_leap, Cyderize8

11/22/23

How to use "ide/vis.mzn" to actually launch a browser or output a local link?

Thanks for considering that Jason, that option would be a real boon indeed!

unread,

How to use "ide/vis.mzn" to actually launch a browser or output a local link?

Thanks for considering that Jason, that option would be a real boon indeed!

11/22/23

Ilya Kudryavtsev, Jip Dekker3

11/22/23

difference between $$ and $

Thanks a lot, Jip! Now it's much clearer. But I still need some clarification. Given my example,

unread,

difference between $$ and $

Thanks a lot, Jip! Now it's much clearer. But I still need some clarification. Given my example,

11/22/23

11/21/23

Performance differences of wedding.mzn (not an issue, just another learning-more quest)

I'm curious to learn more about these stunning perf divergences. This is the first model (going

unread,

Performance differences of wedding.mzn (not an issue, just another learning-more quest)

I'm curious to learn more about these stunning perf divergences. This is the first model (going

11/21/23

meta_leap, … Guido Tack4

11/21/23

Question about chapter 2.2.7 Partiality & Relational Semantics

Hi, The compiler translates implication (->) immediately into negation and disjunction, so

unread,

Question about chapter 2.2.7 Partiality & Relational Semantics

Hi, The compiler translates implication (->) immediately into negation and disjunction, so

11/21/23

meta_leap, … krzysztof....@gmail.com4

11/20/23

Newbie question about handbook listing 2.1.6 in v2.8.0

Thanks all! For the handbook journey, will stick to the out-of-box solvers. Thereafter, in the real

unread,

Newbie question about handbook listing 2.1.6 in v2.8.0

Thanks all! For the handbook journey, will stick to the out-of-box solvers. Thereafter, in the real

11/20/23

Andrey Rybalchenko, Erik Cervin Edin2

11/12/23

opt array filled with only <>

I'd also like this to be possible 👍 On Monday, April 17, 2023 at 4:57:42 PM UTC+2 Andrey

unread,

opt array filled with only <>

I'd also like this to be possible 👍 On Monday, April 17, 2023 at 4:57:42 PM UTC+2 Andrey

11/12/23

Jan-Albert van den Berg

11/9/23

MiniZinc unexpected warning of possible array out-of-bounds index access.

Dear MiniZinc developers, I am currently working on a project where I need to identify a person's

unread,

MiniZinc unexpected warning of possible array out-of-bounds index access.

Dear MiniZinc developers, I am currently working on a project where I need to identify a person's

11/9/23

Michael Marte, Jip Dekker5

11/5/23

bool_clause and defines_var

Hi Jip, thanks for explaining the mechanics of half reification. Regarding half reification, section

unread,

bool_clause and defines_var

Hi Jip, thanks for explaining the mechanics of half reification. Regarding half reification, section

11/5/23

Susi Seiber, Jip Dekker5

11/2/23

single-digit cross sum

No problem I was now able to solve it with Excel. Four numbers were clear based on the Swissgrid

unread,

single-digit cross sum

No problem I was now able to solve it with Excel. Four numbers were clear based on the Swissgrid

11/2/23

Marco Correia, kevin.k...@gmail.com3

10/31/23

Hi, Thanks for your detailed answer, makes sense! Marco A terça, 31/10/2023, 05:17, kevin.k...@gmail.

unread,

Hi, Thanks for your detailed answer, makes sense! Marco A terça, 31/10/2023, 05:17, kevin.k...@gmail.

10/31/23

Ign Oberho, … Jip Dekker4

10/12/23

Reversed order of arrays after optimization?

Actually, I went from your output in the message, but just trying your solution. When constraining

unread,

Reversed order of arrays after optimization?

Actually, I went from your output in the message, but just trying your solution. When constraining

10/12/23

Daniel López, … Andrew Robbie (GMail)3

10/6/23

Do the Coursera course on constraint programming: https://www.coursera.org/learn/solving-algorithms-

unread,

Do the Coursera course on constraint programming: https://www.coursera.org/learn/solving-algorithms-

10/6/23

m276823, … Jip Dekker3

10/1/23

Distinct Solution variable

Additionally, you can use the "output" and "no_output" annotations to quickly

unread,

Distinct Solution variable

Additionally, you can use the "output" and "no_output" annotations to quickly

10/1/23

Iris Hdjdhsn, guido.tack2

9/18/23

I have a problem

The error message probably means that either your model file is called "count.mzn", which

unread,

I have a problem

The error message probably means that either your model file is called "count.mzn", which

9/18/23

Mako, Cyderize2

9/13/23

MiniZinc Challenge 2023 Results: Missing Solvers

We've now added SCIP to the results. PicatSAT has now removed support for parallel solving, so

unread,

MiniZinc Challenge 2023 Results: Missing Solvers

We've now added SCIP to the results. PicatSAT has now removed support for parallel solving, so

9/13/23

Search

Clear search

Close search

Google apps

Main menu