---
name: Report a Bug in Gecode
about: Create a report to help us improve

---

**Describe the bug**

A clear and concise description of what the bug is.

**To Reproduce**

Try to explain how to reproduce the bug.

**Gecode and Platform Configuration**

Please describe which version of Gecode you use, on which operating system, and with which C++ compiler (including its version).
