Gecode開(kāi)源約束編程軟件

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

功能說(shuō)明

開(kāi)放

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

綜合

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

全局約束目錄

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

高效

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

記錄

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

免費(fèi)

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

許可證

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

便攜式

Gecode的C + +，認(rèn)真遵循C++的標(biāo)準(zhǔn)實(shí)施。 可以編譯與現(xiàn)代的C++編譯器和運(yùn)行在 廣泛被機(jī)器（包括64位機(jī)。

并行

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

測(cè)試

Gecode使用一個(gè)測(cè)試套件的近50000種不同的測(cè)試用例達(dá)到接近100%的測(cè)試覆蓋率。

使用說(shuō)明

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