Gecode 3.7.0 发布

     <div id="p_fullcontent" class="detail">     <p></p>     <p><strong>变化:</strong> This release adds and improves quite a number of constraints: total lexicographic order for set variables, membership constraints for integer variables, counting constraints for<span class="truncate_more"> integer variables using integer sets, range, roots, set element constraints for integer variables, and number of values for integer variables. All of these constraints (and some more) are now also available in FlatZinc. Additionally, there were some fixes and improvements</span></p>     <p><br /> Gecode是一个用于开发基于约束的系统应用程序，是一个可移植、高效的环境。 Gecode是从根本上进行编程开放，这意味着它可以很容易地与其他系统的接口。它支持新的传播者（如约束的执行情况），分支策略，和搜索引擎编程。新的变量域可以被编程的效率，在有限域和整数集，拿出Gecode预定义变量相同的水平。</p>     <p><img title="Gecode 3.7.0 发布" border="0" alt="Gecode 3.7.0 发布" src="https://simg.open-open.com/show/3fa84561333ab49b1d40e18cda4ab33e.jpg" width="540" height="392" /><br /> <br /> 项目地址：<a href="/misc/goto?guid=4958188767777199703" target="_blank">http://www.gecode.org/</a></p>    </div>