minizinc

44 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Abort: Unable to create linear formulation for the `float_times(X_INTRODUCED_44_, X_INTRODUCED_45_, X_INTRODUCED_46_)` constraint
user_166477180
•
2
1
111
solver minizinc
What are does the gray squares represent in MiniZinc?
user_108647700
•
3
1
42
minizinc visualization
Can I specify the order in which the possible values are tried for a variable?
user_108647700
•
3
1
120
minizinc constraint-programming
Finding all the Combinations - N Rectangles inside the Square
user_154727280
•
4
3
396
minizinc constraint-programming
Instantiation in Minizinc
user_152552840
•
1
1
47
minizinc
MiniZinc global_cardinality function with enums
user_14927920
•
1
1
403
minizinc
Optimise multiple objectives in MiniZinc
user_146938240
•
3
1
453
minizinc constraint-programming
Minizinc trace an array during solve
user_20149480
•
3
1
170
minizinc
Count the number of different elements in an array
user_144016160
•
5
2
1036
minizinc count set constraints arrays
Difference between seq_search([ann1, ann2]) and ann1 :: ann2?
user_134187450
•
3
1
69
minizinc heuristics constraint-programming search
Hot Questions