搜索

Gini快速简洁的 SAT 求解器

0粉丝
Gini 是一个快速、简洁的 SAT 求解器。安装go get github.com/irifrance/gini...SAT 问题可能是最着名的 N
知识
简介
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%
推荐
Gini快速简洁的 SAT 求解器
Gini 是一个快速、简洁的 SAT 求解器。安装go get github.com/irifran
Gini快速简洁的 SAT 求解器
0
GetDP有限元求解器
GetDP是一个通用的有限元求解器，采用混合元素离散在一个，两个，三个尺寸的的德拉姆型复合物。GetDP主要特征的是定义离散问题（填写ASCII数据文件中的用户）和符号的这些问题的数学表达式的输入数据
GetDP有限元求解器
0
GetDP有限元求解器
GetDP是一个通用的有限元求解器，采用混合元素离散在一个，两个，三个尺寸的的德拉姆型复合物。 Ge
GetDP有限元求解器
0
NASOQ高速 QP 求解器
NASOQ 是一种可扩展且高效的二次规划求解器，可以获得所需精度的解。安装库要求MKL Pardis
NASOQ高速 QP 求解器
0
NASOQ高速 QP 求解器
NASOQ是一种可扩展且高效的二次规划求解器，可以获得所需精度的解。安装库要求MKLPardiso或OpenBlas(BLAS)、OpenMP和METIS。Cmake处理METIS。如果将OpenBl
NASOQ高速 QP 求解器
0
OpenHub快速简洁的 GitHub Android 客户端
OpenHub一个开源的GitHubAndroid客户端应，快速简洁。特点App两种登录方式，(BasicAuth)和(OAuth)支持夜间模式，多重主色调支持Markdown和代码高亮支持英文、简体
OpenHub快速简洁的 GitHub Android 客户端
0
OpenHub快速简洁的 GitHub Android 客户端
OpenHub一个开源的 GitHub Android 客户端应，快速简洁。特点App两种登录方式，
OpenHub快速简洁的 GitHub Android 客户端
0
PyFR开源新一代流体求解器
PyFR是一个新一代的流体求解器，采用Python编程框架，旨在针对不同的硬件平台，包括多核CPU、
PyFR开源新一代流体求解器
0
PDFOPowell 无导数优化求解器
PDFO（Powell's Derivative-Free Optimizationsolvers，Powell无导数优化求解器）为 MichaelJ.D.Powell 的无导数优化求解器提供跨平台的
PDFOPowell 无导数优化求解器
0
PyFR开源新一代流体求解器
PyFR是一个新一代的流体求解器，采用Python编程框架，旨在针对不同的硬件平台，包括多核CPU、NVIDIAGPU卡、IntelXeonPhi协处理器和AMDGPU卡，解决当前一系列棘手的流体问题
PyFR开源新一代流体求解器
0