SAT4JSAT算法庫(kù)

OpenSAT是一個(gè)Java實(shí)現(xiàn)的SAT算法庫(kù)。關(guān)于SAT算法請(qǐng)看：sat2_sjtu_zhaoshuang.pdf

OpenSAT 是一個(gè)旨在開(kāi)發(fā)SAT算法的項(xiàng)目。關(guān)于SAT算法請(qǐng)看：sat2_sjtu_zhaosh

專門(mén)針對(duì)中文文檔的simhash算法庫(kù)簡(jiǎn)介此項(xiàng)目用來(lái)對(duì)中文文檔計(jì)算出對(duì)應(yīng)的 simhash 值。 s

Kodiak 是一個(gè) C++ 庫(kù)，它實(shí)現(xiàn)了一個(gè)嚴(yán)格數(shù)值逼近的通用分支定界算法。分支定界算法的特定實(shí)例

OpenSAT是一個(gè)旨在開(kāi)發(fā)SAT算法的項(xiàng)目。關(guān)于SAT算法請(qǐng)看：sat2_sjtu_zhaoshuang.pdf

Kodiak是一個(gè)C++庫(kù)，它實(shí)現(xiàn)了一個(gè)嚴(yán)格數(shù)值逼近的通用分支定界算法。分支定界算法的特定實(shí)例可以讓用戶重新定義并且隔離非線性方程、不等式、全局優(yōu)化問(wèn)題、微分方程集合系統(tǒng)。

專門(mén)針對(duì)中文文檔的simhash算法庫(kù)簡(jiǎn)介此項(xiàng)目用來(lái)對(duì)中文文檔計(jì)算出對(duì)應(yīng)的simhash值。simhash是谷歌用來(lái)進(jìn)行文本去重的算法，現(xiàn)在廣泛應(yīng)用在文本處理中。詳見(jiàn)SimhashBlog特性使用?C

Zipline 是一個(gè) Pythonic 算法交易庫(kù)。 它是一個(gè)事件驅(qū)動(dòng)的系統(tǒng)，支持回測(cè)檢驗(yàn)和實(shí)時(shí)交

Data Structure & Algorithm Library (DSAL) 是一個(gè)經(jīng)

DataStructure&AlgorithmLibrary(DSAL)是一個(gè)經(jīng)典的數(shù)據(jù)結(jié)構(gòu)和算法庫(kù)。主要特性：noexception,andabilitytoworkwithoutexcep