Binding to Gecode CSP solver