-
good_lp
Rust 的混合整数线性规划库，具有用户友好的 API。此包允许建模 LP 问题，并可以使用各种求解器解决这些问题。
-
optimization_engine
用于嵌入式非凸优化的纯 Rust 框架。非常适合机器人技术！
-
russell_sparse
用于大型稀疏线性系统的求解器（包装了 MUMPS 和 UMFPACK）
-
resolvo
用 Rust 编写的快速包解析器（基于 CDCL 的 SAT 求解）
-
z3
微软研究院 Z3 SMT 求解器的高级 Rust 绑定
-
russell_ode
常微分方程和微分代数方程求解器
-
ddo
基于 MDD 的优化通用的、高效的框架
-
avalog
一种具有 Prolog 类似语法的 Avatar 逻辑的实验性实现
-
rs-wordle-solver
解决 Wordle 风格的谜题。它提供了多种猜测算法，以及实现您自己的 Wordle 解决算法的构建块。
-
grb
Gurobi 优化器的 API
-
clarabel
Rust / Python 的锥形内点求解器
-
highs
HiGHS 线性规划求解器的安全 Rust 绑定。请参阅 http://highs.dev。
-
didp-yaml
动态规划描述语言 (DyPDL) 和 DyPDL 求解器的 YAML 接口
-
ode_solvers
在 Rust 中解决常微分方程 (ODE) 的数值方法
-
dypdl-heuristic-search
DyPDL 的启发式搜索求解器
-
airlang
空气编程语言
-
didppy
动态规划描述语言 (DyPDL) 和 DyPDL 求解器的 Python 接口
-
eqsolver
使用数值方法求解方程
-
ms_toollib
扫雷算法
-
lp-solvers
.lp 文件格式实现和外部求解器调用（Cbc、Gurobi、cplex 和 GLPK）
-
gamesman-nova
计算有限、确定性、完整信息、抽象策略游戏解集的系统
-
sudokugen
数独求解和生成库
-
vrp-cli
VRP求解器的命令行界面
-
travelling_salesman
旅行商问题求解器
-
bn254_blackbox_solver
针对bn254曲线特定黑盒函数的求解器
-
rosomaxa
创建优化问题求解器的算法和其他构建块
-
rust-poly
实数和复数多项式的数值操作
-
stressed
用于竞技编程的通用CLI压力测试器
-
ceres-solver
Ceres求解器的安全Rust绑定
-
letterboxed-rs
纽约时报的Letter Boxed益智游戏的求解器
-
pocket_prover
用于一阶逻辑的快速、穷举、自动定理证明器
-
qtruss
适用于桁架的有限元求解器
-
acvm_blackbox_solver
ACIR和Brillig中发现的黑盒函数求解器
-
pubgrub
版本求解算法
-
lp_parser_rs
LP文件格式解析器
-
screwsat
基于冲突驱动的子句学习SAT求解器
-
ogsolve
解决八进制游戏的程序
-
pint-solve
Pint求解器
-
sub-solver
使用词表解决替换密码
-
airlang_bin
空气编程语言
-
walky
用Rust编写的TSP求解器
-
igsolve
解决公平游戏的程序
-
sundials
非线性及微分/代数方程求解器套件
-
apt-edsp
APT外部依赖求解协议的数据模型
-
scuttle
多目标MaxSAT求解器
-
solvent
依赖解析器库
-
soplex-rs
Safe Rust绑定用于SoPlex线性规划求解器
-
monotonic_solver
专为与Rust枚举表达式易于使用而设计的单调求解器
-
simple_qp
允许以符号方式表述二次规划问题
-
dess-examples
DESS示例
-
dds-bridge
用于扑克牌双缺牌计算器（DDS）的API
-
dagga
用于调度创建、读取、写入和消耗资源的节点有向无环图
-
cgl-src
将Coin-OR Cgl重新分配为crate
-
osi-src
将Coin-OR Osi重新分配为crate
-
nonogram-rs
快速轻量级的非ogram求解库
-
fem_2d
二维有限元方法工具包
-
nonogrid
高效的nonogram求解器
-
aws-smt-ir
SMT问题的中间表示
-
cbc-src
将Coin-OR Cbc重新分配为crate
-
totsu
可以使用
totsu_core求解的凸优化问题 LP/QP/QCQP/SOCP/SDP -
clp-src
将 Coin-OR Clp 作为 crate 重新分发
-
tatam
理论和时间分析机器
-
dess
差分方程系统求解器（DESS）是一个 Rust crate，实现了固定步长和自适应步长求解器，特别设计用于建模物理系统。七个显式常微分方程（ODE）...
-
mop
适用于连续和离散问题的灵活且模块化的单目标或多目标求解器
-
kurobako
一个黑盒优化基准测试框架
-
interiors
非线性规划的原-对偶内点法
-
sudoku-cli
用于解决数独谜题的命令行工具
-
lp-modeler
用 Rust 编写的线性规划建模器。此 API 帮助编写 LP 模型并使用 CBC、Gurobi、lp_solve 等求解器...
-
ogs
解决八进制游戏
-
smt-lang
sat 模块理论语言
-
gregex
利用 NFA 的正则表达式求解器
-
dogs
离散优化全局搜索框架。实现了可以在组合优化或启发式搜索中找到的各种搜索算法。
-
elm-solve-deps
elm生态系统依赖求解器
-
takuzu
(又名Binairo)数字谜题求解器
-
minesweeprs
基于 https://mrgris.com/projects/minesweepr/ 的概率扫雷求解器
-
graph_solver
无向图节点和边颜色的约束求解器
-
odesolver
求解常微分方程（ODE）
-
ipasir
与增量SAT求解器通信的IPASIR API绑定
-
igs
求解非对称游戏
-
reachability_solver
方向边线性可达性求解器
-
highs-sys
HiGHS线性规划求解器的Rust绑定。请参阅http://highs.dev。
-
rgraph
任务图库
-
sparse21
稀疏矩阵求解器
-
scip-sys
C SCIP求解器的绑定
-
pocket_prover-set
PocketProver 的基础逻辑系统，用于推理集合属性
-
aude
一种具有类似 Lisp 函数式编程语言的自动微分求解器
-
image-recovery
以 Rust 实现的图像恢复算法
-
smt2
适用于 Rust 的 SMT-LIB 2.6 解析/格式化库
-
airlang_ext
Air 编程语言的扩展
-
csparse21
稀疏矩阵求解器
-
z3-sys
微软研究院 Z3 SMT 求解器的底层绑定
-
cadical
CaDiCaL SAT 求解器的 Rust 绑定
-
numb_rs
一个实验性的数值包
-
linear_solver
一个设计用于与 Rust 枚举表达式轻松使用的线性求解器
-
backtrack
轻松解决困难约束
-
rust-expression
线性方程的计算器和求解器
-
rsmt2
SMT-LIB 2 兼容 SMT 求解器的包装器
-
求解器
解决优化问题
-
chikasolver
Chika Solver
-
napali
集成的推理加速求解器API的TUI接口
-
crustabri
一个论证框架库和求解器
-
findminhs
一个高效的分支和边界求解器，用于击中集
-
lapjv
使用Jonker-Volgenant算法解决线性指派问题
-
binairo
求解器
-
prompter
Rust中的Wordle求解器
-
wordle_solver_
一个相当简单的Wordle求解器算法
-
grin_miner_plugin
用于grin矿工的特定设备插件
-
elara-math
Rust本地张量和数学库
-
wordlers
一个用于解决/玩文字游戏的程序
-
rustproof
从Rust代码生成验证条件的编译器插件
-
soplex-sys
到SoPlex LP求解器的FFI绑定
-
amg_match
研究迭代求解器工具
-
dds-bridge-sys
为桥牌生成的DDS（双空解算器）绑定
-
roggle
用Rust编写的Boggle解算器！
-
totsu_f32cuda
为
totsu/totsu_core提供的CUDA线性代数运算 -
nnls
非负最小二乘法（nnls）
-
adf-bdd-bin
利用OBDD（有序二进制决策图）实现的ADF（属性图函数）求解器，支持完整和稳定的语义
-
pack
拼图求解器
-
ida
从Sundials套件中纯Rust移植的隐式微分代数求解器
-
kurobako_solvers
黑盒优化求解器集合
-
copper
约束编程求解器
-
eki
流体网络中稳态和瞬态流动的求解器
-
wfc_voxel
使用初步体素文件实现的波函数坍缩求解器
-
osqp-sys
FFI 绑定到 OSQP (算子分割二次规划) 求解器
-
z3d
Z3 DSL 接口用于 Rust
-
smtlib-build-util
构建 smtlib 系列包的构建工具
-
gpp-solver
一个小型混合推拉求解器/规划器，融合了二者的优点
-
xcc
具有颜色扩展的精确覆盖求解器
-
vrp-solver
提供用于解决 VRP 的自定义元启发式扩展
-
rudoku-core
用于生成和解决数独的 Sudoku 库
-
wordfeud-solver
给定一个 wordfeud 盘和字母组，评估所有可能的移动
-
cat_solver
Rust 绑定到 Kissat SAT 求解器
-
concorde_rs
Concorde TSP 求解器的绑定
-
mop-blocks
MOP 的基础块
-
nkowne63-wordle-solver-rs-01
nkowne63 的 wordle 求解器
-
sudoku_rs
一个用于纯Rust的数独包
-
mop-solvers
MOP求解器
-
physsol
轻量级的2D和3D物理库
-
ceres-solver-src
Rust版本的Ceres Solver，构建为一个最小静态库
-
seagaze
简化顺序游戏搜索的资源
-
connect-four-solver
Rust中一个强大且完美的四子棋求解器
-
spsolve
求解稀疏线性方程组
-
yawfc
波函数坍缩实现
-
letterboxed
纽约时报Letter Boxed拼图求解器 - https://www.nytimes.com/puzzles/letter-boxed
-
rusoda
纯Rust且仅需日志依赖项实现的odepack dlsoda
-
waifu
求解器
-
osqp-rust-sys
c2rust(osqp-sys)
-
geass
15拼图求解器
-
logicng-open-wbo-sys
OpenWBO 的 LogicNG 绑定
-
deus
waifu2x 求解器
-
lib_treblecross
使用 negamax 的 Treblecross 求解器库
-
wordle-automaton
解决 wordle 益智问答
-
mop-common
MOP 架构的通用定义
-
totsu_f64lapack
totsu/totsu_core 的 BLAS/LAPACK 线性代数运算
-
twentyfour
24 张牌游戏的求解器
-
equation-solver
评估简单数学表达式的方程求解器
-
hcop
https://hcoptcha.online/login 的包装器
-
soukoban
与 Sokoban 相关的一些算法和数据结构
-
logistics
工程客户端
-
stal
Redis 的集合代数求解器
-
soku
简易数独生成和求解
-
simplex
线性规划求解器
-
rusty-rubik
提供魔方交互和求解器
-
leko-wordle-solver-example
Wordle求解器的参考实现
-
numopt
数值优化问题抽象，求解器接口和建模工具
-
rsmt2-zz
SMT-LIB 2兼容的SMT求解器包装器。带有ZZ下游修复
-
lights-out
lights out求解器
-
worlde-automaton
解决worlde谜题
-
mop-common-defs
MOP 架构的通用定义
-
ceres-solver-sys
Ceres求解器的非安全Rust绑定
-
treblecross
交互式treblecross求解器
-
seer-z3
微软研究院 Z3 SMT 求解器的高级 Rust 绑定
-
wordle-solver
解决每日wordle的程序
-
minilp
快速线性规划求解器库
-
z3tracer
Z3跟踪日志的解析器
-
propositional-tableau-solver-rs
命题公式的命题表求解器
-
mop-facades
MOP的封装
-
easy_trajectories
带有拖拽的轨迹计算器
-
八皇后问题
求解器
-
wordle-solvers
基于提供的单词列表解决Wordle谜题
-
logical_solver
基于Rust的逻辑解析器、评估器和真值表构造器！
-
totsu_core
凸优化的一阶锥线性规划求解器
-
game24
带扩展的24点游戏求解器
-
second_order_ode
求解二阶常微分方程
-
ode
各种常微分方程求解器
尝试使用DuckDuckGo进行搜索搜索.