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 问题是很容易的（但还不... 更多

其它信息

授权协议

BSD

开发语言

Google Go

操作系统

跨平台

软件类型

开源软件

所属分类

应用工具、个人助理软件

开源组织

无

地区

不详

适用人群

未知

时光轴

里程碑1

LOG0

2023

09-29

轻识收录

打卡

评价

0.0（满分 10 分）0 个评分

什么是点评分

图片

表情

全部评价( 0)

推荐率 100%

推荐

Gini快速简洁的 SAT 求解器

Gini 是一个快速、简洁的 SAT 求解器。安装go get github.com/irifran

GetDP有限元求解器

GetDP是一个通用的有限元求解器，采用混合元素离散在一个，两个，三个尺寸的的德拉姆型复合物。GetDP主要特征的是定义离散问题（填写ASCII数据文件中的用户）和符号的这些问题的数学表达式的输入数据

GetDP有限元求解器

GetDP是一个通用的有限元求解器，采用混合元素离散在一个，两个，三个尺寸的的德拉姆型复合物。 Ge

NASOQ高速 QP 求解器

NASOQ 是一种可扩展且高效的二次规划求解器，可以获得所需精度的解。安装库要求MKL Pardis

NASOQ高速 QP 求解器

NASOQ是一种可扩展且高效的二次规划求解器，可以获得所需精度的解。安装库要求MKLPardiso或OpenBlas(BLAS)、OpenMP和METIS。Cmake处理METIS。如果将OpenBl

OpenHub快速简洁的 GitHub Android 客户端

OpenHub一个开源的GitHubAndroid客户端应，快速简洁。特点App两种登录方式，(BasicAuth)和(OAuth)支持夜间模式，多重主色调支持Markdown和代码高亮支持英文、简体

OpenHub快速简洁的 GitHub Android 客户端

OpenHub一个开源的 GitHub Android 客户端应，快速简洁。特点App两种登录方式，

PyFR开源新一代流体求解器

PyFR是一个新一代的流体求解器，采用Python编程框架，旨在针对不同的硬件平台，包括多核CPU、

PDFOPowell 无导数优化求解器

PDFO（Powell's Derivative-Free Optimizationsolvers，Powell无导数优化求解器）为 MichaelJ.D.Powell 的无导数优化求解器提供跨平台的

PyFR开源新一代流体求解器

PyFR是一个新一代的流体求解器，采用Python编程框架，旨在针对不同的硬件平台，包括多核CPU、NVIDIAGPU卡、IntelXeonPhi协处理器和AMDGPU卡，解决当前一系列棘手的流体问题