Gini快速简洁的 SAT 求解器
Gini 是一个快速、简洁的 SAT 求解器。
安装
go get github.com/irifrance/gini...
SAT 问题可能是最着名的 NP-complete 问题。 因此，SAT 求解器可用于尝试解决难题，例如旅行商问题或 RSA 破解。 在实践中，许多 SAT 问题是很容易的（但还不能解密问题）。求解器用于软件验证、硬件验证和测试、AI 规划、路由等。
评论
GetDP有限元求解器
GetDP是一个通用的有限元求解器，采用混合元素离散在一个，两个，三个尺寸的的德拉姆型复合物。GetDP主要特征的是定义离散问题（填写ASCII数据文件中的用户）和符号的这些问题的数学表达式的输入数据
GetDP有限元求解器
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
PDFOPowell 无导数优化求解器
PDFO（Powell's Derivative-Free Optimizationsolvers，Powell无导数优化求解器）为 MichaelJ.D.Powell 的无导数优化求解器提供跨平台的
PDFOPowell 无导数优化求解器
0