Stack Overflow
Stack Overflow

Questions tagged [minizinc]

MiniZinc is a solver-independent Constraint-Programming modelling language.

MiniZinc as modelling language is high-level enough to express most constraint problems easily, but low-level enough that it can be mapped onto existing solvers easily and consistently. This is done by converting the MiniZinc model to a lower-level language, FlatZinc. It is a subset of the higher-level language Zinc.

Around MiniZinc, several FlatZinc solvers and an IDE for development are freely available.

The MiniZinc home is here: http://www.minizinc.org

Hakan Kjellerstrand's MiniZinc page has lots of MiniZinc models and global constraint definitions.

426 questions
-2
votes
1 answer

MiniZinc -- can someone please fix my code?

I try to create a work management system. Overall, I try to develop a daily movement strategy, during which the car would end up in the last place at the beginning of the day and collect the people in this row at the end of the day. Types of…
Gprog
  • 1
  • 1
-2
votes
1 answer

Minizinc IDE does not open anymore

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 open Minizinc IDE, it shows that it is open in the taskbar, but the IDE windows does not appear!…
peykaf
  • 79
  • 5
-2
votes
1 answer

How can I install OR tools for Minizinc on Windows system?

I have a Windows 10 laptop with Minizinc and Minizinc IDE. How Can i add the OR-Tools Solver? Where can i get the Executable for my PC? Once i have them i will add them as in the picture Thanks Tamir
Ganor Tamir
  • 9
  • 3
-2
votes
1 answer

How to get the first (oder last) n elements of a minizinc array with 1 dimension?

Sounds quite straightforward, but I didn't find a solution yet. How do I get the first (oder last) n elements of a minizinc array with one dimension? The result should be an array, so that I can apply count () oder sum().
P. Beer
  • 3
  • 1
-2
votes
1 answer

minizinc search consecutive numbers in array

i am trying to make a model in minizinc that finds 3 numbers in sequence with the MaxSUM, in arrays below: [2,3,4,**10,22,11**,17]). [1,2,3,4,**10,22,11**,11,10,24]). [2,3,4,5,10,23,**10,22,11**,17]). I want my model to output these numbers, their…
Kotsos
  • 19
  • 5
-3
votes
1 answer

Minizinc: Need a brief description about each solver appeared in MiniZinc Configuration?

I find several solvers appeared in MiniZinc Configuration. So what is the advantage of each solver? And what problems are classic examples for each soler? Thanks. solvers in MiniZinc Configuration
Dennis
  • 7
  • 3
1 2 3
…
28
29