LzlibC语言压缩算法库

js的压缩/解压缩算法，可在浏览器和node上使用。installnpminstallfastlz.jsexamplevarfs=require("fs");varpath="./need.js";v

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

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

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

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

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

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

libcstl 是使用 C 语言编写的一个通用的数据结构和常用的算法库，它模仿 SGI STL 的接

libcstl是使用C语言编写的一个通用的数据结构和常用的算法库，它模仿SGISTL的接口和实现，支持vector、list、deque等等常用的数据结构，同时还支持排序、查找、划分等常用的算法。此外

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