Axel Kemper

Results 6 issues of Axel Kemper

Hi Pete, hashmap_remove() might open a gap in a sequence of entries which share the same hash value. This might lead to the situation that a hashmap_put() creates a duplicate...

I've tried to solve a problem from a YouTube video using MiniZinc. ``` % % This model strives to solve the problem % discussed in a YouTube video of Michael...

MiniZinc IDE 2.5.5 under Windows 10 My example code silently exits with a non-zero exit code after "Flattening ...". The error happens when I start the example from the IDE...

I am working on a problem with lots of re-occuring common subexpressions. Inspecting the FlatZinc intermediate file, I noticed that the subexpressions are not eliminated. Therefore, I tried to use...

enhancement

I've been trying to compress / decompress a vector of bytes by feeding it into a BitOutputArchive or a BitInputArchive respectively. This was rejected as unpermitted operation. Should I use...

:grey_question: help

Hej Håkan, Please find below a Boolean simplifier as candidate for your selection of MiniZinc examples. I hope you find it inspiring. Best greetings! Axel ``` % % booleanSimplifier.mzn %...