Gecode 3.7.0發佈 系統應用程式開發環境

來源:互聯網
上載者:User
關鍵字 應用程式 Gecode

Gecode是一種可移植、高效的基於約束的系統HTTP://www.aliyun.com/zixun/aggregation/13521.html">應用程式開發環境。 從根上來說,Gecode是個開放的程式,也就是說它可以很容易地連接到其他系統。 支援新的傳播函數(如執行的約束)、分支策略和搜尋引擎的程式設計。 新的可變域可以在同一效率級別的有限域和整數集的預定義變數來進行程式設計。

Gecode 3.7.0版本增加和改善了多個執行約束,包含:共設置變數,整數變數的限制,使用整數集,範圍,根項目的約束,整數變數,和值的數量整數變數約束計數的字典順序整型變數。 所有這些制約因素(以及一些更多的)現在也可用在FlatZinc。 此外,還有一些問題的修復和改進。

軟體資訊:HTTP://www.gecode.org/

下載位址:HTTP://www.gecode.org/download/gecode-3.7.0.tar.gz

相關文章

聯繫我們

該頁面正文內容均來源於網絡整理,並不代表阿里雲官方的觀點,該頁面所提到的產品和服務也與阿里云無關,如果該頁面內容對您造成了困擾,歡迎寫郵件給我們,收到郵件我們將在5個工作日內處理。

如果您發現本社區中有涉嫌抄襲的內容,歡迎發送郵件至: info-contact@alibabacloud.com 進行舉報並提供相關證據,工作人員會在 5 個工作天內聯絡您,一經查實,本站將立刻刪除涉嫌侵權內容。

A Free Trial That Lets You Build Big!

Start building with 50+ products and up to 12 months usage for Elastic Compute Service

  • Sales Support

    1 on 1 presale consultation

  • After-Sales Support

    24/7 Technical Support 6 Free Tickets per Quarter Faster Response

  • Alibaba Cloud offers highly flexible support services tailored to meet your exact needs.