Gecode是发展的约束访问，便携，高效的环境为基础的系统和应用程序。