StackOverflow Questions for Tag: minizinc

Kamugg

Reputation: 31

Suggestion on which constraint to adds to optimize Minizinc's model

performanceoptimizationconstraint-programmingminimizationminizinc

Score: 1

Answers: 3

donman

Reputation: 67

Constraints for Hitori puzzle

constraintspuzzleminizinc

Score: 1

Answers: 4

Emilie Picard-Cantin

Reputation: 290

How to use arg_sort on a 'array[int] of var set of int' in Minizinc?

minizinc

Score: 0

Answers: 1

qin cubism

Reputation: 43

Avoid the flatten time from MZN to FZN in iteration solve

minizinc

Score: 0

Answers: 0

Silver

Reputation: 1468

MiniZinc Assign Different Domain to Each Var in Array

arraysconstraintsconstraint-programmingminizinc

Score: 1

Answers: 2

peykaf

Reputation: 89

Minizinc IDE does not open anymore

minizinc

Score: -2

Answers: 1

tangulo

Reputation: 1

MiniZinc - Optimizing Script for Scheduling Problem

combinatoricsminizinc

Score: 0

Answers: 3

purefn

Reputation: 836

Creating the maximum number of brackets

minizinccp-sat

Score: 0

Answers: 1

GabyLP

Reputation: 3781

Error parsing json while running Minizinc from python using OR-tools as solver

or-toolsminizinc

Score: 0

Answers: 1

Daniel

Reputation: 11

MiniZinc: syntax error: syntax error, unexpected [, expecting end of file

solverminizinc

Score: 0

Answers: 1

GabyLP

Reputation: 3781

minizinc logic to ortools CP

or-toolsminizinccp-sat

Score: 1

Answers: 1

Nicolas Beldiceanu

Reputation: 113

declaring a MiniZinc array of variables where each variable has a specific domain given by a formula

arraysdnsdeclarationminizinc

Score: 1

Answers: 1

qin cubism

Reputation: 43

Max 2d-Array Size in minizinc with or-tools CP-SAT

or-toolsminizinccp-sat

Score: 0

Answers: 1

Mev

Reputation: 1625

How to Sort an array on descending order with minizinc

constraint-programmingminizinc

Score: 1

Answers: 2

tobiasBora

Reputation: 2432

Efficiency of MiniZinc + CP-SAT (from OR-Tools) compared to CP-SAT alone

or-toolsminizinccp-sat

Score: 0

Answers: 1

bop

Reputation: 11

Custom conditional stop in Minizinc (Python)

pythontimeoutpython-asynciominizinc

Score: 1

Answers: 0

Luca Fiaschi

Reputation: 3205

Vehicle routing with time windows minizinc example

constraint-programmingminizinc

Score: 2

Answers: 1

plauer

Reputation: 123

Minzinc does not return optimal solution

optimizationcplexconstraint-programmingminizinclinearization

Score: -1

Answers: 1

qin cubism

Reputation: 43

Use MiniSearch with Lastest Minizinc

minizinc

Score: 0

Answers: 1

Marcus J S Pereira

Reputation: 23

MiniZinc: Getting two outputs for an optimal path in a simple TSP model

optimizationconstraintstraveling-salesmanminizinc

Score: 0

Answers: 1

PreviousPage 1Next

StackOverflow Questions for Tag: minizinc

Suggestion on which constraint to adds to optimize Minizinc&#39;s model

Constraints for Hitori puzzle

How to use arg_sort on a &#39;array[int] of var set of int&#39; in Minizinc?

Avoid the flatten time from MZN to FZN in iteration solve

MiniZinc Assign Different Domain to Each Var in Array

Minizinc IDE does not open anymore

MiniZinc - Optimizing Script for Scheduling Problem

Creating the maximum number of brackets

Error parsing json while running Minizinc from python using OR-tools as solver

MiniZinc: syntax error: syntax error, unexpected [, expecting end of file

minizinc logic to ortools CP

declaring a MiniZinc array of variables where each variable has a specific domain given by a formula

Max 2d-Array Size in minizinc with or-tools CP-SAT

How to Sort an array on descending order with minizinc

Efficiency of MiniZinc + CP-SAT (from OR-Tools) compared to CP-SAT alone

Custom conditional stop in Minizinc (Python)

Vehicle routing with time windows minizinc example

Minzinc does not return optimal solution

Use MiniSearch with Lastest Minizinc

MiniZinc: Getting two outputs for an optimal path in a simple TSP model

Suggestion on which constraint to adds to optimize Minizinc's model

How to use arg_sort on a 'array[int] of var set of int' in Minizinc?