minizinc

44 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Optimizing MiniZinc constraints for a scheduling problem
user_61013160
•
3
1
77
minizinc combinatorics scheduling optimization
Adding "show" statement to Minizinc model takes too long to solve
user_121431400
•
1
1
52
gecode minizinc constraint-programming
Big performance differences between solvers
user_104064660
•
1
0
68
minizinc
Want caculate the n-th largest value in an array Use Minizinc
user_179093400
•
1
2
54
minizinc
How can I generate a graph by constraining it to be subisomorphic to a given graph, while not subisomorphic to another?
user_193310190
•
2
2
105
minizinc constraint-programming
Placing array of rectangles inside a given area
user_176375190
•
2
2
99
minizinc cumulative-sum constraint-programming performance
MiniZinc: Constraint for sum over two array indexes 'k','j' for all index 'i' in 3dArray creates TypeError
user_191305920
•
1
1
46
minizinc syntax arrays
I can't even phrase the question, I need 3 closely equal number from a huge set of numbers
user_96197080
•
3
2
177
minizinc math optimization algorithm
Accessing minizinc data from Python
user_171406810
•
2
1
255
minizinc python
Is there a way to customize int_search in minizinc?
user_131841830
•
2
1
131
graph-coloring minizinc
Hot Questions