minizinc

44 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
How to use Picat to create CNF files from Minizinc files?
user_123178520
•
5
1
295
picat sat minizinc constraint-programming
minizinc python installation
user_128103650
•
4
1
587
minizinc importerror python
Optional variables and set membership in MiniZinc
user_18164770
•
3
1
70
minizinc set
Find the smallest alldifferent array whose sum is n
user_1212590
•
3
1
86
minizinc
How does the minizinc pentominoes regular constraint example work?
user_1001290
•
4
1
238
tiling sat minizinc dfa regex
Using Cumulative function for Rectangular Placement
user_138726710
•
2
2
188
minizinc constraint-programming
Difference between similar MiniZinc constraints
user_44539510
•
2
2
121
minizinc
Clarification on `failures` solver statistic in MiniZinc
user_136609650
•
4
1
188
minizinc constraint-programming
How to improve the performance of my graph coloring model in MiniZinc?
user_136609650
•
2
2
766
minizinc constraint-programming optimization
Are half-reified predicates considered part of the standard?
user_60241220
•
2
1
49
flatzinc minizinc
Hot Questions