SAT4JSAT算法庫

OpenSAT是一個Java實現(xiàn)的SAT算法庫。關于SAT算法請看：sat2_sjtu_zhaoshuang.pdf

OpenSAT 是一個旨在開發(fā)SAT算法的項目。關于SAT算法請看：sat2_sjtu_zhaosh

專門針對中文文檔的simhash算法庫簡介此項目用來對中文文檔計算出對應的 simhash 值。 s

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

OpenSAT是一個旨在開發(fā)SAT算法的項目。關于SAT算法請看：sat2_sjtu_zhaoshuang.pdf

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

專門針對中文文檔的simhash算法庫簡介此項目用來對中文文檔計算出對應的simhash值。simhash是谷歌用來進行文本去重的算法，現(xiàn)在廣泛應用在文本處理中。詳見SimhashBlog特性使用?C

Zipline 是一個 Pythonic 算法交易庫。 它是一個事件驅動的系統(tǒng)，支持回測檢驗和實時交

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

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