Search results

Indexing of an empty vector

Status: Open.

#205 In Gecode/gecode;

· intractabilis opened on Apr 9, 2025

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

Status: Open.

#200 In Gecode/gecode;

· LebedevRI opened on Aug 23, 2024

<code>release/6.3.0</code> branch: Minizinc 2.8.5 test <code>tests/spec/unit/test-globals-float.mzn</code> 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

fzn-gecode, global cardinality, missing solutions

Status: Open.

#166 In Gecode/gecode;

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