搜索

SAT4JSAT算法库

0粉丝
OpenSAT 是一个Java实现的SAT算法库。关于SAT算法请看：sat2_sjtu_zhaoshuang.pdf
知识
简介
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
OpenSATSAT算法库
OpenSAT是一个旨在开发SAT算法的项目。关于SAT算法请看：sat2_sjtu_zhaoshuang.pdf
KodiakC++ 算法库
Kodiak是一个C++库，它实现了一个严格数值逼近的通用分支定界算法。分支定界算法的特定实例可以让用户重新定义并且隔离非线性方程、不等式、全局优化问题、微分方程集合系统。
KodiakC++ 算法库
Kodiak 是一个 C++ 库，它实现了一个严格数值逼近的通用分支定界算法。分支定界算法的特定实例
OpenSATSAT算法库
OpenSAT 是一个旨在开发SAT算法的项目。关于SAT算法请看：sat2_sjtu_zhaosh
simhashsimhash算法库
专门针对中文文档的simhash算法库简介此项目用来对中文文档计算出对应的 simhash 值。 s
DSAL数据结构算法库
DataStructure&AlgorithmLibrary(DSAL)是一个经典的数据结构和算法库。主要特性：noexception,andabilitytoworkwithoutexcep
ZiplinePythonic 交易算法库
Zipline是一个Pythonic算法交易库。它是一个事件驱动的系统，支持回测检验和实时交易。Zipline目前在生产中用作Quantopian（托管平台）的测试和实时交易引擎。特性使用简单，以便你
DSAL数据结构算法库
Data Structure & Algorithm Library (DSAL) 是一个经
ZiplinePythonic 交易算法库
Zipline 是一个 Pythonic 算法交易库。 它是一个事件驱动的系统，支持回测检验和实时交