Skip to main content

Questions tagged [minizinc]

MiniZinc is a high level solver-independent constraint modeling language.

Filter by
Sorted by
Tagged with
10 votes
1 answer
285 views

RCPSP minizinc model

I'm working on a resourceā€constrained project scheduling problem (RCPSP) in Minizinc but I have problems with the running times when the dataset is big (like 400 jobs, 2 resources, 1,000 precedences, ...
Clopen's user avatar
  • 131
9 votes
2 answers
568 views

Which MiniZinc-compatible solvers are best suited for floating decision variables and non-linear constraints?

We are working on a production scheduling problem that has both discrete ("how much to produce from good x and where") and continuous elements ("keep the workload of a production site below 0.7"), ...
ks.and1's user avatar
  • 193
8 votes
1 answer
541 views

Minizinc: How to use a predicate in an assert statement?

Trying to use minizinc builtins to do some basic validation of data inputs but I get a type error ...
Eugene's user avatar
  • 183
6 votes
0 answers
91 views

Data Formulation for Mixed-Integer-Programming Models

Until now, I have used the Gurobi, CPLEX and OR-Tools (GCO) interface to formulate mixed-integer-programming models. Recently, I have discovered MiniZinc and want to utilize it to formulate big ...
Georgios's user avatar
  • 1,193
3 votes
1 answer
356 views

VRPTW implementation

Does anybody have an example of the vehicle routing problem with time windows (VRPTW), implemented on Python with CPLEX library, AMPL, or MiniZinc? So far I've looked into ...
AGH's user avatar
  • 175
2 votes
1 answer
171 views

Why MiniZinc do not do convert to linear constraint a quadratic constraint?

I would like to know which are the advantage to do not convert quadratic expressions into linear expression in MiniZinc. For example let be the following simple MiniZinc code ...
juaninf's user avatar
  • 179
2 votes
1 answer
68 views

A variable being a set...?

I am currently doing a coursera course on optimization. They are using minizinc and they modeled a problem where the decision is a choice of things --> a set. We all know this is a knapsack and it ...
Eddiee's user avatar
  • 533
2 votes
1 answer
148 views

optimizing choosing subset of best items

I have a simple problem that doesn't perform well at the moment. I have a set of ~1000 candidates, from which I want to choose ~10 optimal candidates. They all have a score, and the optimal subset is ...
Gijs's user avatar
  • 123
2 votes
1 answer
186 views

Adding a variable makes the model unsatisfiable in MiniZinc

I have the following model. ...
Eugleo's user avatar
  • 225
2 votes
1 answer
61 views

Which method MiniZinc uses to decrease terms of degree > 2 to quadratic terms?

I would like to know which methods/algorithms MiniZinc uses to decrease terms of degree > 2 to quadratic terms. For example in the following code ...
juaninf's user avatar
  • 179
1 vote
1 answer
83 views

Multiplicity-Constraint in Constraint Programming Solvers

I need to solve a CSP with a constraint imposing upper bounds on the multiplicity of variables in a list. More precisely, I need a constraint of the form ...
guigux's user avatar
  • 113
1 vote
0 answers
52 views

Tents and trees constraints

I am trying to express the constraints for the 'Tents and trees' puzzle in minizinc but I am a bit stuck... I can express that each tent must be attached to at least one tree That a tree must be ...
user1454590's user avatar