Orthogonal Latin Square Problem with Minizinc...

Constraint to select certain items in MiniZinc...

Error: Gecode: Float::linear: Number out of limits...

Optimise multiple objectives in MiniZinc...

Restriction to sort an array in Minizinc...

Support for pow() with decision variables in MiniZinc...

Minizinc trace an array during solve...

How does the minizinc pentominoes regular constraint example work?...

Difference between seq_search([ann1, ann2]) and ann1 :: ann2?...

How to use Picat to create CNF files from Minizinc files?...

Defining constraints in MiniZinc...

what is the meaning of this in Vehicle routing problem in minizinc?...

How to read from .dzn file without variable names in Minizinc...

Optional variables and set membership in MiniZinc...

Find the smallest alldifferent array whose sum is n...

Using Cumulative function for Rectangular Placement...

Minizinc Model pickup and delivery in a problem similar to Vehicle Route Problem...

Difference between similar MiniZinc constraints...

Clarification on `failures` solver statistic in MiniZinc...

Minizinc Objective Function For Gaps in Schedule...

Longest subset of five-positions five-elements permutations, only one-element-position in common...

Output the solved time and date in minizinc with assert function...

Are half-reified predicates considered part of the standard?...

reified and half-reified predicates...

How to present the efficiency of MiniZinc in a research...

Interface MiniZinc to other languages...

How to write intermediate solutions as output in Minizic comand line?...

Minizinc Python - using .dzn module instead of instance module...

Why does this two-line change break this minizinc set-cover program?...

Is there a way to swap columns of a 2d array (matrix) in MiniZinc, and keep track of that?...