简介
OpenSAT 是一个Java实现的SAT算法库。关于SAT算法请看:sat2_sjtu_zhaoshuang.pdf... 更多
其它信息
地区
不详
开发语言
Java
开源组织
无
所属分类
程序开发、 其他开发相关
授权协议
未知
操作系统
跨平台
收录时间
2023-10-01
软件类型
开源软件
适用人群
未知
时光轴
里程碑1
LOG0
2023
2023-10
轻识收录
评价
0.0(满分 10 分)0 个评分
什么是点评分
全部评价(
0)
推荐率
100%
推荐
simhashsimhash算法库
专门针对中文文档的simhash算法库简介此项目用来对中文文档计算出对应的simhash值。simhash是谷歌用来进行文本去重的算法,现在广泛应用在文本处理中。详见SimhashBlog特性使用 C
simhashsimhash算法库
0
KodiakC++ 算法库
Kodiak是一个C++库,它实现了一个严格数值逼近的通用分支定界算法。分支定界算法的特定实例可以让用户重新定义并且隔离非线性方程、不等式、全局优化问题、微分方程集合系统。
KodiakC++ 算法库
0
ZiplinePythonic 交易算法库
Zipline是一个Pythonic算法交易库。它是一个事件驱动的系统,支持回测检验和实时交易。Zipline目前在生产中用作Quantopian(托管平台)的测试和实时交易引擎。特性使用简单,以便你
ZiplinePythonic 交易算法库
0