Add Gecode CSP solver