简介
Gini 是一个快速、简洁的 SAT 求解器。安装go get github.com/irifrance/gini...SAT 问题可能是最着名的 NP-complete 问题。 因此,SAT 求解器可用于尝试解决难题,例如旅行商问题或 RSA 破解。 在实践中,许多 SAT 问题是很容易的(但还不... 更多
其它信息
地区
不详
开发语言
Google Go
开源组织
无
所属分类
应用工具、 个人助理软件
授权协议
BSD
操作系统
跨平台
收录时间
2023-09-29
软件类型
开源软件
适用人群
未知
时光轴
里程碑1
LOG0
2023
2023-09
轻识收录
评价
0.0(满分 10 分)0 个评分
什么是点评分
全部评价(
0)
推荐率
100%
推荐
GetDP有限元求解器
GetDP是一个通用的有限元求解器,采用混合元素离散在一个,两个,三个尺寸的的德拉姆型复合物。GetDP主要特征的是定义离散问题(填写ASCII数据文件中的用户)和符号的这些问题的数学表达式的输入数据
GetDP有限元求解器
0
NASOQ高速 QP 求解器
NASOQ是一种可扩展且高效的二次规划求解器,可以获得所需精度的解。安装库要求MKLPardiso或OpenBlas(BLAS)、OpenMP和METIS。Cmake处理METIS。如果将OpenBl
NASOQ高速 QP 求解器
0
OpenHub快速简洁的 GitHub Android 客户端
OpenHub一个开源的 GitHub Android 客户端应,快速简洁。特点App两种登录方式,
OpenHub快速简洁的 GitHub Android 客户端
0
OpenHub快速简洁的 GitHub Android 客户端
OpenHub一个开源的GitHubAndroid客户端应,快速简洁。特点App两种登录方式,(BasicAuth)和(OAuth)支持夜间模式,多重主色调支持Markdown和代码高亮支持英文、简体
OpenHub快速简洁的 GitHub Android 客户端
0
PDFOPowell 无导数优化求解器
PDFO(Powell's Derivative-Free Optimizationsolvers,Powell无导数优化求解器)为 MichaelJ.D.Powell 的无导数优化求解器提供跨平台的
PDFOPowell 无导数优化求解器
0