Gecode開源約束編程軟件

Gecode開源約束編程軟件是一款發(fā)展的約束訪問，便攜，高效的環(huán)境為基礎(chǔ)的系統(tǒng)和應(yīng)用程序，提供了一種先進的性能 Gecode約束求解器，模塊化和可擴展性，從根本上進行編程開放，這意味著它可以很容易地與其他系統(tǒng)的接口。它支持新的傳播者（如約束的執(zhí)行情況），分支策略，和搜索引擎編程。新的變量域可以被編程的效率，在有限域和整數(shù)集，拿出Gecode預(yù)定義變量相同的水平。

功能說明

開放

Gecode徹底開放編程：它可以很容易地連接到其他 系統(tǒng) 。它支持新的限制，程序分支策略， 和搜索。新的可變域可以被編程在效率相同的 水平作為變量，來 Gecode預(yù)定義。

綜合

Gecode具有全面的功能集：約束整型，布爾型，集，�。ㄋ鼘崿F(xiàn)了超過70的限制，從

全局約束目錄

和許多更多的頂部）；C++建模層；先進的分支啟發(fā)式（累計失效數(shù)，活動）；許多搜索引擎（平行，交互式圖形，重新啟動）；自動對稱破缺（ldsb）；沒有貨物從重啟；MiniZinc支持；多。

高效

Gecode提供相對于運行時間和內(nèi)存使用性能優(yōu)良 。它贏得了全部金牌全部在MiniZinc挑戰(zhàn)類從2008到2012：2012，2011，2010，2009，和2008。

記錄

Gecode配備完整的教程（500多頁）和完整的參考文檔 ，讓用戶專注于不同的建模和編程 任務(wù)Gecode。

免費

Gecode在麻省理工學(xué)院的分布

許可證

和是上市的自由軟件。它的所有組成部分 包括參考文檔，實現(xiàn)全局約束， 和實例可作為 源代碼下載。

便攜式

Gecode的C + +，認真遵循C++的標準實施。 可以編譯與現(xiàn)代的C++編譯器和運行在 廣泛被機器（包括64位機。

并行

Gecode符合現(xiàn)實，它利用并行搜索今天的商品硬件的多核 ，給一個已經(jīng) 高效的基礎(chǔ)系統(tǒng)的一個額外的邊緣。

測試

Gecode使用一個測試套件的近50000種不同的測試用例達到接近100%的測試覆蓋率。

使用說明

C++實現(xiàn)的。通過對gecode的學(xué)習(xí)，既可以解決自己的約束規(guī)劃方面的問題，又可以學(xué)習(xí)到C++的精彩應(yīng)用。gecode還提供了一個基于gecode的flatzinc語言（一個高級的約束編程的聲明式語言）的解釋器。