最后的求解器

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

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

Gini是一个快速、简洁的SAT求解器。安装go get github.com/irifrance/gini...SAT问题可能是最着名的NP-complete问题。因此，SAT求解器可用于尝试解决难

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

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

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

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