gecode
gecode copied to clipboard
Gecode
Generic Constraint Development Environment
When running a model involving FloatVars, the FPU rouding mode may get changed, which may cause issues with code running afterwards. This happens with Gecode 6.2.0 (I haven't checked whether...
**Describe the bug** Running tsp.cpp in the examples directory, the third hardcoded problem instance (br17 from [TSPLIB](http://comopt.ifi.uni-heidelberg.de/software/TSPLIB95/)) returns a solution of supposed optimal cost of 87, while the optimal solution...
Current minizinc depends on Gecode 6.3, but last release is 6.2.0 https://github.com/MiniZinc/libminizinc/blob/a56602765b4294b796c063664733b28f5a663af7/CMakeLists.txt#L36 > find_package(Gecode 6.3 COMPONENTS Driver Float Int Kernel Minimodel Search Set Support)
**Describe the bug** The profiler should send a "START" message, n "NODE" messages, and a "DONE" message. The START and NODE messages are send, but the DONE is omitted **To...
Hi, I am a student in Japan and I am planning to use this tool in my research. I just tried to run this tool. I got a make compile...
```-fPIC``` should only be used for shared libraries. ```-fPIC``` reduces code performance therefore defearing the purpose of static libraries. Version 6.3.0 OS: FreeBSD 13
This code works: ``` LinIntExpr e = 0; ``` but this code fails: ``` BoolExpr e = false; ``` It seems that it should be possible to initialize BoolExpr with...
This code: ``` int main(int argc, char* argv[]) { Options opt("Testcase"); opt.iterations(200); opt.parse(argc,argv); Script::run(opt); return 0; } ``` doesn't complain about bad arguments and doesn't print help. It would be...