In MiniZinc, I have an array of boolean representing an oriented connection between nodes of a graph: VariantIsDirectlyUpwardOf[v1,v2] = true if th ...

the manual of Minizinc says that we can pass an array to the "regular" function that represent the transitions between states of a DFA. For this state ...

I use MiniZinc to create matrix and I would like to create the same matrix as "assignment" but the value at a certain point is should be greater than ...

I would like to iterate over an array in MiniZinc and output the result : something like this the output should be like this is there a way to d ...

The problem In a Minizinc model where I want to minimize a linear cost function, I can say the following: What I want to do is to specify a nonlin ...

I want create a constraint so that the intersection of the sets in the table is not empty I have written it like that but there is no global inters ...

I am trying to explore a riddle with MiniZinc. I have a weighing platter, and I need 4 weighs satisfying two constraints: their sum is 40kg it s ...

I want solve this problem : i have a number n and i want to have an array with all pair (i,j) for all i,j in [1,n] I write this for solve the problem ...

I have an 2D array like that : how can I write a constraint to check if there is a table row that matches |1,2,3| (for example) ? I wrote it like ...

I would like to "complete" an array in MiniZinc as follows. Say I have an array a=[A,H,J,D,C] which is associated to certain integers between 1 and 6 ...

I have a MiniZinc program in which the variables are mostly integers. Outputs look like DELPECH [4, 5, 7, 10, 11] DELPORTE ...

I am trying to use MiniZinc to solve a scheduling problem. Here is the main setting: I have a certain number of students They rank 7 topics in o ...

I am currently trying to develop a (fairly basic) model in Minizinc. I have reached a point up until now, where I can run the model and a satisfactor ...

I am stuck with a cumulative constraint I seem not to use properly, I seek for help ! :) I have tasks with precedence and, for some of them, required ...

Any boys can help me write a function to caculate the n-th largest value in an array ? for example : ...

My code generates minizinc problems on the flight, and recently I faced the following issue: It takes enormous time (~ 2 mins on my machine) to pro ...

I am using Minizinc IDE (the latest version) on Windows 10. I have been using it for a time and everything was fine. All of a sudden, when I wanted to ...

TL;DR: How can I generate a graph while constraining it to be subisomorph to every graph in a positive list while being non-subisomorph to every graph ...

If I define my array like this: where J is a enum, what function can I use to get the length of the first dimension of A? The length function retur ...

Depending on the input data I sometimes obtain a different result (different objective and solution) when using the Minizinc Python library or the Min ...