SAT4JSAT算法库

OpenSAT是一个旨在开发SAT算法的项目。关于SAT算法请看：sat2_sjtu_zhaoshuang.pdf

专门针对中文文档的simhash算法库简介此项目用来对中文文档计算出对应的simhash值。simhash是谷歌用来进行文本去重的算法，现在广泛应用在文本处理中。详见SimhashBlog特性使用 C

Kodiak是一个C++库，它实现了一个严格数值逼近的通用分支定界算法。分支定界算法的特定实例可以让用户重新定义并且隔离非线性方程、不等式、全局优化问题、微分方程集合系统。

Kodiak 是一个 C++ 库，它实现了一个严格数值逼近的通用分支定界算法。分支定界算法的特定实例

OpenSAT 是一个旨在开发SAT算法的项目。关于SAT算法请看：sat2_sjtu_zhaosh

专门针对中文文档的simhash算法库简介此项目用来对中文文档计算出对应的 simhash 值。 s

Zipline是一个Pythonic算法交易库。它是一个事件驱动的系统，支持回测检验和实时交易。Zipline目前在生产中用作Quantopian（托管平台）的测试和实时交易引擎。特性使用简单，以便你

DataStructure&AlgorithmLibrary(DSAL)是一个经典的数据结构和算法库。主要特性：noexception,andabilitytoworkwithoutexcep

Data Structure & Algorithm Library (DSAL) 是一个经

Zipline 是一个 Pythonic 算法交易库。 它是一个事件驱动的系统，支持回测检验和实时交