If you use gecode-python either for teaching, research, or product development, could you please email me a quick note. Quantitative indicators being all the rage, some numbers would be useful to support this work. Thank you, --Denys