Search results

uniform_on_restart is not inlcude the int: high value.

Status: Open.

#208 In Gecode/gecode;

· kieronqtran opened on Oct 17, 2025

Indexing of an empty vector

Status: Open.

#205 In Gecode/gecode;

· intractabilis opened on Apr 9, 2025

release/6.3.0: Test suite does not pass gecode/test/int.cpp:289: void Test::Int::TestSpace::prune(int, bool, Gecode::Support::RandomGenerator &): Assertion '(v < x[i].max()) && (v >= x[i].min())' failed.

Status: Open.

#200 In Gecode/gecode;

· LebedevRI opened on Aug 23, 2024

release/6.3.0 branch: Minizinc 2.8.5 test tests/spec/unit/test-globals-float.mzn causes OOM

Status: Open.

#199 In Gecode/gecode;

· LebedevRI opened on Aug 22, 2024

TIme to make the 6.3.0 release?

Status: Open.

#177 In Gecode/gecode;

· yurivict opened on Aug 11, 2023

Unexpected OutOfLimits exception.

Status: Open.

#175 In Gecode/gecode;

· handsomePirate opened on Jul 25, 2023

build filed with error

Status: Open.

#172 In Gecode/gecode;

· Junhao-Fang opened on Jun 25, 2023

fzn-gecode, inverse, error instead of solution

Status: Open.

#171 In Gecode/gecode;

· matsc-at-sics-se opened on Jun 24, 2023

fzn-gecode, mod, wrong solutions

Status: Open.

#170 In Gecode/gecode;

· matsc-at-sics-se opened on Jun 24, 2023

fzn-gecode, maximum_arg, abort on co-occurrences

Status: Open.

#169 In Gecode/gecode;

· matsc-at-sics-se opened on Jun 24, 2023

fzn-gecode, sort+element, hangs

Status: Open.

#168 In Gecode/gecode;

· matsc-at-sics-se opened on Jun 24, 2023

fzn-gecode, table, wrong solution

Status: Open.

#167 In Gecode/gecode;

· matsc-at-sics-se opened on Jun 24, 2023