Lib.rs

› 关键词 #稀疏 #稀疏矩阵 #矩阵 #优化 #定理 #证明

#linear-solver

  1. russell_sparse

    用于大型稀疏线性方程组的求解器（封装了MUMPS和UMFPACK）

    v1.6.2 140 #sparse-matrix #matrix #linear-solver #sparse #solver #finite-element

  2. rlst

    本地线性代数库

    v0.2.0 340 #linear-algebra #linear-solver #sparse #dense #toolbox #numeric #dual

  3. relp

    Rust 精确线性规划

    v0.2.5 #linear #precision #ilp #simplex #linear-solver #exact

  4. del-ls

    用于研究原型设计的稀疏求解器库

    v0.1.4 #sparse-matrix #linear-solver #research #prototyping #square-matrix #incomplete #numerical-methods

  5. reachability_solver

    用于方向边的线性可达性求解器

    v0.2.0 #solver #linear-solver #theorem #proving #reachability #reasoning #theorem-prover

  6. linear_solver

    一个专为与Rust枚举表达式易于使用而设计的线性求解器

    v0.2.2 #solver #theorem-prover #linear #proving #theorem #reasoning

  7. numeric

    Rust的N维矩阵类

    v0.1.4 #matrix #tensor #matrix-vector #hdf5 #linear-solver #vector

  8. or-tools

    非官方的Rust对Google OR-Tools C++库的封装，开源的组合优化软件

    v0.1.0 #optimization #csp #linear-solver #sat #wrapper

  9. ripped

    线性规划的内点求解器，纯Rust编写

    v0.1.0 #optimization #linear-programming #linear-solver #constrained

    10. 尝试使用DuckDuckGo进行搜索 搜索.

  10. relp-bin

    用Rust编写的精确线性规划求解器

    v0.0.6 #linear #linear-solver #simplex #precision #ilp #exact

  11. totsu_core

    用于凸优化的拟线性规划求解器

    v0.1.1 #convex-optimization #linear-solver #convex #solver #optimization #conic

  12. or-tools-sys

    非官方的Rust对Google OR-Tools C++库的封装，开源的组合优化软件

    v9.7.0 #优化 #线性求解器 #csp #sat #or-tools

  13. rlst-proc-macro

    Rust本地线性代数库的Proc宏

    v0.2.0 360 #proc-macro #数值 #线性 #线性求解器 #rlst #工具箱 #代数