handsomePirate
Results
2
issues of
handsomePirate
**Describe the bug** Gecode throws an OutOfLimits exception on line 132 in *post.cpp* due to `overflow(t, n, c)` evaluating to true. **To Reproduce** Define a space: ``` class SimpleSpace :...
Hi, I'm really looking forward to trying minotaur out! Unfortunately, the build doesn't work for VS 2022 and I'm working on Windows (switching to unix is not an option) so...