How to concatenate all strings of an array in Minizinc?...

Why picat says that the model is unsatisfiable?...

How do I allocate children to rooms based on the following constraints...

Is there a MiniZinc Predicate to model time-dependant resource bounds (like cumulative)?...

How can I improve the speed of solution of Set Covering problem with MiniZinc?...

MiniZinc: No statistics output...

Cardinality constraints in MiniZinc...

Need review of scheduling model logic, suggestions for constraint creation and fixes for syntax erro...

Specifying only a single index of a 1D array in a data file...

Constraint Programming: Scheduling with multiple workers...

Having trouble understanding how to express real world problem to opensolver or minizinc for worker ...

Minzinc: Applying a constraint on each row of a 2D-array...

Understanding minizinc...

MiniZinc does not find a solution to the scheduling problem...

MiniZinc: type error: no function or predicate with this signature found: `floor(var int)'...

Minimum and Maximum float value in MiniZinc...

Optimization Problem of a Single Lessons Scheduling Model...

Do Gecode and G12 (MIP) use infinite precision arithmetic?...

What are these `float_div` and `float_times` constraints in the FlatZinc file?...

Can subset of SimCity ( BuildIt) economy expressed in Minizinc?...

How to obtain an exact infinite-precision representation of rational numbers via a non-standard Flat...

Minizinc "cannot determine lower bound" for float...

How to correct Knapsack compiling error MiniZinc?...

MiniZinc find the set of int...

Minizinc: output continuously values of a decision variable set of int...

MiniZinc CSP into JSON - iteration in arrays workaround javascript...

Minizinc simpler approach for an array Model?...

Time limit imposed in command line does not seem to constraint run time...

Calling minizinc from cpp program...

is there a way to provide search annotation in minizinc predicate?...