Search results

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

3 comments

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

1 comment

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

1 comment

fzn-gecode, sort+element, hangs

Status: Open.

#168 In Gecode/gecode;

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

1 comment

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

1 comment

Simple MiniZinc float var model does not produce solution in a reasonable time-frame

Status: Open.

#164 In Gecode/gecode;

· ptal opened on May 2, 2023

1 comment

Memory leak of solutions at Engine in a multi-threading context

bug

Status: Open.

#156 In Gecode/gecode;

· alex-87 opened on Jan 5, 2023

1 comment



Rounding mode switching side-effects

Status: Open.

#155 In Gecode/gecode;

· fkonvick opened on Jul 15, 2022

3 comments

Wrong optimal solution in Travelling Salesman example

Status: Open.

#151 In Gecode/gecode;

· iPapatsoris opened on Jun 13, 2022

1 comment

cp-profiler never sends "done" message

Status: Open.

#149 In Gecode/gecode;

· StefanBruens opened on Apr 30, 2022

Please provide a 6.3.0 release, required for Minizinc

Status: Open.

#148 In Gecode/gecode;

· StefanBruens opened on Apr 28, 2022

3 comments

Error is returned when make

Status: Open.

#146 In Gecode/gecode;

· Ririkosann opened on Mar 5, 2022

3 comments

BoolExpr should be initializable with C++ boolean values

Status: Open.

#145 In Gecode/gecode;

· yurivict opened on Feb 12, 2022

Options::parse() should complain about unsupported options and should print help

Status: Open.

#144 In Gecode/gecode;

· yurivict opened on Jan 27, 2022

nooverlap hangs with number of points exceeding the size of the area

Status: Open.

#143 In Gecode/gecode;

· yurivict opened on Jan 26, 2022

nooverlap: zero-sized rectangles overlap contrary to what documentation says

bug

Status: Open.

#142 In Gecode/gecode;

· yurivict opened on Jan 26, 2022

1 comment

It isn't clear from the 'check' target that the check succeeded

feature request

Status: Open.

#141 In Gecode/gecode;

· yurivict opened on Jan 19, 2022

1 comment

Or-ing of booleans with BoolExpr causes SEGV

Status: Open.

#139 In Gecode/gecode;

· yurivict opened on Dec 18, 2021

1 comment