Constraint solver that can handle floating point exponentiation...

MiniZinc: type error: invalid type for comprehension: `array[int] of var opt string'...

Unable to initialize Gecode's `IntSet` from `Vector`...

Map upper triangular matrix on vector skipping the diagonal...

Adding "show" statement to Minizinc model takes too long to solve...

why does this simple Gecode example not compile?...

Error: Gecode: Float::linear: Number out of limits...

How to maximize a var int that is larger than 32 bits?...

Gecode vs. Z3 for Constrained Randomization...

Cardinality constraints in MiniZinc...

How to run a .cpp file with Gecode Framework on Linux?...

Do Gecode and G12 (MIP) use infinite precision arithmetic?...

Gecode, error while compiling program with gecode.int.hh...

Alternate branching strategies in Gecode...

How do I use a Merit function in Gecode?...

In Gecode, accessing home/space variables values from merit function...

Minizinc, how to create a map or a dictionary datastructure...

Minizinc, Gecode, how to get an identical solutions across distributed servers, with multi-solution ...

Minizinc: Trivial equality unsatisfiable...

Call gecode from Java using MiniZinc model...

Model suggestion for graph for Constraing Programing solver (gecode)...

Search strategy with optional variables...

Custom GeCode propagator not getting scheduled...

debugging minizinc (anyway, did I found a bug?)...

Generating unique solutions with Constraint Programming...

How to constrain a variable depending on the value of an other variable in Gecode...