SAT4JSAT算法库

OpenSAT是一个Java实现的SAT算法库。关于SAT算法请看：sat2_sjtu_zhaoshuang.pdf

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

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

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

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

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

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

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

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

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