Skip to main content

Questions tagged [minizinc]

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

2 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
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
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