StackRating

An Elo-based rating system for Stack Overflow
Home   |   About   |   Stats and Analysis   |   Get a Badge
Rating Stats for

Dekker1

Rating
1526.16 (22,517th)
Reputation
2,395 (70,430th)
Page: 1 2 3
Title Δ
Merging Two Forall and Sum Constraints 0.00
Error: Gecode: Float::linear: Number out of limits 0.00
Optimise multiple objectives in MiniZinc 0.00
Support for pow() with decision variables in MiniZinc +1.66
Minizinc trace an array during solve 0.00
Count the number of different elements in an array +1.68
Maximize based on constraints +0.47
Difference between seq_search([ann1, ann2]) and ann1 :: ann2? 0.00
what is the meaning of this in Vehicle routing problem in minizinc? 0.00
Defining constraints in MiniZinc +1.71
How to read from .dzn file without variable names in Minizinc 0.00
Optional variables and set membership in MiniZinc 0.00
Find the smallest alldifferent array whose sum is n 0.00
Minizinc Model pickup and delivery in a problem similar to Vehicle... 0.00
Difference between similar MiniZinc constraints +2.20
Are half-reified predicates considered part of the standard? 0.00
How to identify minizinc problem(Maximizing or Minimizing) has mult... +1.83
reified and half-reified predicates 0.00
Interface MiniZinc to other languages 0.00
Concatenate 2 Arrays minizinc 0.00
How can i install Google's CP solver OR-Tools in MiniZinc? 0.00
How to write intermediate solutions as output in Minizic comand line? 0.00
Minizinc Python - using .dzn module instead of instance module 0.00
How to present the efficiency of MiniZinc in a research 0.00
Trying to set up a constraint on MiniZinc with array of sets 0.00
Concatenate 2 Enumerated type variable sets 0.00
How to print values of variables in gecode 0.00
Getting Minizinc output as .txt from IDE 0.00
How to use warm starts in Minizinc? 0.00
Running MiniZinc in Python through the native interface in Win10 +0.47
Increasing optimization level results in errors 0.00
Create even function in MiniZinc 0.00
Why would more array accesses perform better? 0.00
Having trouble using a function of a var set twice in an output sta... 0.00
Error message in MiniZinc when specifying a decision variable 0.00
How to model domain index with subset of set in minizinc 0.00
How do I allocate children to rooms based on the following constrai... 0.00
how to include gecode as an external library in my c++ project usin... +3.86
Higher-order functions in MiniZinc 0.00
how to generate .dzn file using R or python in minizinc 0.00
variable with condition in minizinc 0.00
Received Error - "Number out of limits" on Minizinc model... -0.14
Minimum and Maximum float value in MiniZinc 0.00
Do Gecode and G12 (MIP) use infinite precision arithmetic? 0.00
What are these `float_div` and `float_times` constraints in the Fla... 0.00
Can subset of SimCity ( BuildIt) economy expressed in Minizinc? 0.00
How to obtain an exact infinite-precision representation of rationa... 0.00
MiniZinc's output command in Jupyter/Linux 0.00
How to correct Knapsack compiling error MiniZinc? 0.00
MiniZinc find the set of int 0.00