Gecode For Mac

Gecode For Mac是一款發(fā)展的約束訪問，便攜，高效的環(huán)境為基礎(chǔ)的系統(tǒng)和應(yīng)用程序，提供了一種先進(jìn)的性能 Gecode約束求解器，模塊化和可擴(kuò)展性，從根本上進(jìn)行編程開放，這意味著它可以很容易地與其他系統(tǒng)的接口。它支持新的傳播者（如約束的執(zhí)行情況），分支策略，和搜索引擎編程。

功能說明

開放

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

綜合

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

全局約束目錄

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

高效

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

記錄

Gecode配備完整的教程（500多頁）和完整的參考文檔 ，讓用戶專注于不同的建模和編程 任務(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è)試覆蓋率。

收起

使用說明

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