MiniZinc

Contact owners and managers

1–30 of 604

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

jack drawbridge, … Jip Dekker8

Nov 28

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

Nov 28

meta_leap, … Jip Dekker4

Nov 28

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

Nov 28

vdi...@gmail.com, Jip Dekker2

Nov 28

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/

Nov 28

Laurent Alebarde, Jip Dekker2

Nov 27

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

Nov 27

Carl Örnberg, … Mohamed H. Ibrahim3

Nov 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

Nov 23

meta_leap, boris...@gmail.com5

Nov 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)

Nov 23

Nov 22

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

Nov 22

Nov 22

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

And now after posting I found the existing thread about this with a fine answer and a neat-enough

unread,

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

And now after posting I found the existing thread about this with a fine answer and a neat-enough

Nov 22

meta_leap, Cyderize8

Nov 22

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!

Nov 22

Ilya Kudryavtsev, Jip Dekker3

Nov 22

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,

Nov 22

Nov 21

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

Nov 21

meta_leap, … Guido Tack4

Nov 21

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

Nov 21

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

Nov 20

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

Nov 20

Andrey Rybalchenko, Erik Cervin Edin2

Nov 12

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

Nov 12

Jan-Albert van den Berg

Nov 9

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

Nov 9

Michael Marte, Jip Dekker5

Nov 5

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

Nov 5

Susi Seiber, Jip Dekker5

Nov 2

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

Nov 2

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

Oct 31

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.

Oct 31

Ign Oberho, … Jip Dekker4

Oct 12

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

Oct 12

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

Oct 6

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-

Oct 6

m276823, … Jip Dekker3

Oct 1

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

Oct 1

Iris Hdjdhsn, guido.tack2

Sep 18

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

Sep 18

Mako, Cyderize2

Sep 13

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

Sep 13

ANDRES FELIPE PERALTA CRUZ2

Sep 12

Issue using Ipopt solver with MiniZinc

El lunes, 11 de septiembre de 2023 a las 22:51:05 UTC-5, ANDRES FELIPE PERALTA CRUZ escribió: Hello,

unread,

Issue using Ipopt solver with MiniZinc

El lunes, 11 de septiembre de 2023 a las 22:51:05 UTC-5, ANDRES FELIPE PERALTA CRUZ escribió: Hello,

Sep 12

Aug 31

COPT for MiniZinc Challenge

COPT is a MILP solver that is competitive with Gurobi according to the benchmarks linked below. It

unread,

COPT for MiniZinc Challenge

COPT is a MILP solver that is competitive with Gurobi according to the benchmarks linked below. It

Aug 31

vdi...@gmail.com, Jip J. Dekker2

Aug 9

Suppressing annoying chuffed messages

When processing output using tooling I would recommend using the —json-stream flag so the output is

unread,

Suppressing annoying chuffed messages

When processing output using tooling I would recommend using the —json-stream flag so the output is

Aug 9

Alessio Pellegrino

Aug 9

minizinc with google ortools

Hello everyone, I need to develop a Cp model for a university project. I was trying to configure

unread,

minizinc with google ortools

Hello everyone, I need to develop a Cp model for a university project. I was trying to configure

Aug 9

Christopher Calzonetti, … Luis Quesada7

Jul 27

Trying to get cplex to work with minizinc

Grace Tacadao made me realise that libcplex2211.dylib would do the job. The other thing is that with

unread,

Trying to get cplex to work with minizinc

Grace Tacadao made me realise that libcplex2211.dylib would do the job. The other thing is that with

Jul 27

Christopher Calzonetti, guido.tack2

Jul 16

To the moderators, did I actually make a post?

Hi, It looks like we had some issues with the group moderation over the last month or so. I can see

unread,

To the moderators, did I actually make a post?

Hi, It looks like we had some issues with the group moderation over the last month or so. I can see

Jul 16

Jun 11

MiniZinc Challenge 2023: Call for participation and problems

We are inviting all solver developers to enter their solvers into the annual MiniZinc Challenge for

unread,

MiniZinc Challenge 2023: Call for participation and problems

We are inviting all solver developers to enter their solvers into the annual MiniZinc Challenge for

Jun 11

Search

Clear search

Close search

Google apps

Main menu