Gecode 3.7.0 發布
變化: This release adds and improves quite a number of constraints: total lexicographic order for set variables, membership constraints for integer variables, counting constraints for 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
Gecode是一個用于開發基于約束的系統應用程序，是一個可移植、高效的環境。 Gecode是從根本上進行編程開放，這意味著它可以很容易地與其他系統的接口。它支持新的傳播者（如約束的執行情況），分支策略，和搜索引擎編程。新的變量域可以被編程的效率，在有限域和整數集，拿出Gecode預定義變量相同的水平。
本文由用戶 webphp 自行上傳分享，僅供網友學習交流。所有權歸原作者，若您的權利被侵害，請聯系管理員。
轉載本站原創文章，請注明出處，并保留原始鏈接、圖片水印。
本站是一個以用戶分享為主的開源技術平臺，歡迎各類分享！