Gecode is an open source C++ toolkit for developing constraint-based systems