Groups keyboard shortcuts have been updated

Dismiss

See shortcuts

MiniZinc

Contact owners and managers

1–30 of 713

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

May 8

Have I done something stupid with my MiniZinc code (maybe around the mod function)?

Hi – I was wondering if anyone could shed some light on whether I've programmed things

unread,

Have I done something stupid with my MiniZinc code (maybe around the mod function)?

Hi – I was wondering if anyone could shed some light on whether I've programmed things

May 8

Andrew Gill, … Cyderize4

May 7

I can't work out what this error means?!

The range does indeed need to be increasing, otherwise it evaluates to be the empty set (ie 4..3 = {}

unread,

I can't work out what this error means?!

The range does indeed need to be increasing, otherwise it evaluates to be the empty set (ie 4..3 = {}

May 7

Andrew Gill, guido.tack4

May 6

Modular multiplicative inverse - function in MiniZinc?

The ub(N)-1 is an optimisation, the function would also work with var 1..infinity: result. However,

unread,

Modular multiplicative inverse - function in MiniZinc?

The ub(N)-1 is an optimisation, the function would also work with var 1..infinity: result. However,

May 6

Marko Grdinic (Ghostlike)2

May 6

Looking for a book from a decade ago with Minizinc examples

https://github.com/MiniZinc/minizinc-examples It feels like it might have been associated with this

unread,

Looking for a book from a decade ago with Minizinc examples

https://github.com/MiniZinc/minizinc-examples It feels like it might have been associated with this

May 6

Andrew Gill, guido.tack4

Apr 16

pow() ceil() log2() error?

UPDATE: Mostly as a learning opportunity for me, but I found a way around using log2 (actually my son

unread,

pow() ceil() log2() error?

UPDATE: Mostly as a learning opportunity for me, but I found a way around using log2 (actually my son

Apr 16

Mar 31

Slow performance for outputting channeling decision variable

I have a simple Minizinc roleplay assignment program with original decision variable "

unread,

Slow performance for outputting channeling decision variable

I have a simple Minizinc roleplay assignment program with original decision variable "

Mar 31

Gabriel Hjort Åkerlund, … steven kelk6

Mar 25

ARM-compiled target version of minizinc?

Hi Guido, everyone, Thanks, it would be great to at some point have a dedicated Windows ARM build of

unread,

ARM-compiled target version of minizinc?

Hi Guido, everyone, Thanks, it would be great to at some point have a dedicated Windows ARM build of

Mar 25

Laurent Perron, … Jip Dekker4

Mar 23

Hi Mike, Laurent was talking about converting the DZN data format into JSON files (which are also

unread,

Hi Mike, Laurent was talking about converting the DZN data format into JSON files (which are also

Mar 23

Ciaran McCreesh

Mar 19

CP 2025 Call for Papers -- Deadline Extension

Dear colleagues, As some of you have requested, the program chair has extended the deadline for CP

unread,

CP 2025 Call for Papers -- Deadline Extension

Dear colleagues, As some of you have requested, the program chair has extended the deadline for CP

Mar 19

Ciaran McCreesh

Mar 16

CP 2025: Second Call for Papers and Workshops

Second Call for Papers and Workshops -- Deadlines Approaching Thirty First Conference on Principles

unread,

CP 2025: Second Call for Papers and Workshops

Second Call for Papers and Workshops -- Deadlines Approaching Thirty First Conference on Principles

Mar 16

Andrew Gill, Mikael Zayenz Lagerkvist2

Mar 16

Is MiniZinc 'stochastic'?

Hi, MiniZinc in itself is not stochastic, but the underlying solver used may very well be, especially

unread,

Is MiniZinc 'stochastic'?

Hi, MiniZinc in itself is not stochastic, but the underlying solver used may very well be, especially

Mar 16

Laura Climent, guido.tack3

Mar 13

update of lb() and ub() during search?

Thanks a million Guido. What you told me is what I suspected, but I wanted to be sure that there was

unread,

update of lb() and ub() during search?

Thanks a million Guido. What you told me is what I suspected, but I wanted to be sure that there was

Mar 13

Mar 4

Memory Violation Detected - 2.9.0 is OK -> 2.9.1 is NOT

https://github.com/MiniZinc/MiniZincIDE/issues/216 On Tuesday, 4 March 2025 at 9:40:43 am UTC-5 David

unread,

Memory Violation Detected - 2.9.0 is OK -> 2.9.1 is NOT

https://github.com/MiniZinc/MiniZincIDE/issues/216 On Tuesday, 4 March 2025 at 9:40:43 am UTC-5 David

Mar 4

Mikael Zayenz Lagerkvist, kevin.k...@gmail.com5

Mar 4

Problem with findMUS in 2.9.0

Hi, I ran it from the IDE and used all default settings. Version 2.9.0, with a regular constraint

unread,

Problem with findMUS in 2.9.0

Hi, I ran it from the IDE and used all default settings. Version 2.9.0, with a regular constraint

Mar 4

Charlie Swan, krzysztof....@gmail.com4

Feb 28

Bin packing with a minimum

Sorry, it was a shortcut. You can define it as array[1..n] of var m..c: load; or define array[1..n]

unread,

Bin packing with a minimum

Sorry, it was a shortcut. You can define it as array[1..n] of var m..c: load; or define array[1..n]

Feb 28

Mikael Zayenz Lagerkvist, Cyderize3

Feb 26

regular over enums in 2.9.0

Sounds good. Regular with enum variables is such a nice abstraction for scheduling problems! Cheers,

unread,

regular over enums in 2.9.0

Sounds good. Regular with enum variables is such a nice abstraction for scheduling problems! Cheers,

Feb 26

Daniel Gardin Gratti, krzysztof....@gmail.com4

Feb 25

Disjunctive constraints in scheduling

Oh never mind, I found the problem. Apparently, the disjunctive constraint was being ignored due to

unread,

Disjunctive constraints in scheduling

Oh never mind, I found the problem. Apparently, the disjunctive constraint was being ignored due to

Feb 25

vdi...@gmail.com, jason.nguyen2

Feb 23

Flexible-jz.mzn fails.

Thanks! This example will be fixed in the next release. On Saturday, 22 February 2025 at 4:33:08 am

unread,

Flexible-jz.mzn fails.

Thanks! This example will be fixed in the next release. On Saturday, 22 February 2025 at 4:33:08 am

Feb 23

Charlie Swan, vdi...@gmail.com2

Feb 22

Stop optimization after n solutions

In this way you only get a guess, but you never know how good it is. You can try to send the output

unread,

Stop optimization after n solutions

In this way you only get a guess, but you never know how good it is. You can try to send the output

Feb 22

Andrew Gill, … Mikael Zayenz Lagerkvist4

Feb 21

Constraint involving 3 indices?

No, the expression i /\ j < k means that i must be true and that j < k must be true, which is

unread,

Constraint involving 3 indices?

No, the expression i /\ j < k means that i must be true and that j < k must be true, which is

Feb 21

Pascal Laube, … Mohamed H. Ibrahim3

Feb 20

Problem Statements of past minizinc challenges

I think it would be great for research purposes to have the problem description too. Which in turn

unread,

Problem Statements of past minizinc challenges

I think it would be great for research purposes to have the problem description too. Which in turn

Feb 20

Armin Wolf, … Jip Dekker5

Feb 20

simple bool_xor/2 constraint causes an error when running under MiniZinc 2.9.0

If you are trying to write FlatZinc programs directly, then you should be aware that the predicates

unread,

simple bool_xor/2 constraint causes an error when running under MiniZinc 2.9.0

If you are trying to write FlatZinc programs directly, then you should be aware that the predicates

Feb 20

David Lloyd, Jip Dekker2

Feb 19

Stop When a Var Becomes Stable

This is not functionality that MiniZinc has, nor am I aware of any solvers providing this

unread,

Stop When a Var Becomes Stable

This is not functionality that MiniZinc has, nor am I aware of any solvers providing this

Feb 19

Feb 12

GitHub Issue #211

It appears that 2.9.0 is more strict in cases like: ``` % var int: total_preference = sum(s in

unread,

GitHub Issue #211

It appears that 2.9.0 is more strict in cases like: ``` % var int: total_preference = sum(s in

Feb 12

Feb 11

Call for Problem Submission for the MiniZinc Challenge 2025

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

unread,

Call for Problem Submission for the MiniZinc Challenge 2025

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

Feb 11

Jan 31

Huge flattened instance (and RAM used)

Hi, I've improved the situation by converting the derived variables into functions. Now, MiniZinc

unread,

Huge flattened instance (and RAM used)

Hi, I've improved the situation by converting the derived variables into functions. Now, MiniZinc

Jan 31

Luca Allulli, … Luca Allulli6

Jan 28

Solver configuration in Python: number of threads

Thank you! Il giorno mar 28 gen 2025 alle ore 09:43 'Jip Dekker' via MiniZinc <minizinc@

unread,

Solver configuration in Python: number of threads

Thank you! Il giorno mar 28 gen 2025 alle ore 09:43 'Jip Dekker' via MiniZinc <minizinc@

Jan 28

Andrew Gill, … guido.tack4

Jan 27

A 'Relatively Prime' constraint?

Thanks Guido! On Tuesday, 28 January 2025 at 9:23:33 am UTC+10:30 guido.tack wrote: To give you an

unread,

A 'Relatively Prime' constraint?

Thanks Guido! On Tuesday, 28 January 2025 at 9:23:33 am UTC+10:30 guido.tack wrote: To give you an

Jan 27

David Lloyd, Jip Dekker3

Jan 27

Memory Consumption During Compilation / Profiler Output

Is there some sort of way to tell the compiler something like: "I am more interested in using

unread,

Memory Consumption During Compilation / Profiler Output

Is there some sort of way to tell the compiler something like: "I am more interested in using

Jan 27

Mariana Ritchie

12/16/24

Distance in a Scheduling Problem

Hello! I have a question and I'm curious if anyone else has solved a similar issue. I am working

unread,

Distance in a Scheduling Problem

Hello! I have a question and I'm curious if anyone else has solved a similar issue. I am working

12/16/24

Search

Clear search

Close search

Google apps

Main menu