-
谓词
布尔值谓词函数
-
谓词树
以树形结构渲染布尔值谓词函数结果
-
ddo
基于MDD的优化通用的高效框架
-
honeycomb-core
组合映射的核心结构实现
-
tree_traversal
在一个树中找到最佳叶子节点
-
honeycomb-render
组合映射的可视化工具
-
mako_infinite_shuffle
以随机顺序迭代组合空间
-
rust-constraint
约束满足问题（CSP）
-
dogs
离散优化全局搜索框架。实现了组合优化或启发式搜索中可以找到的各种搜索算法。
-
caw
组合音频工作站：一个软件定义的模块化合成器库
-
libpcp
支持整数算术约束的约束求解器
-
backtrack
轻松解决硬约束
-
moco_abm
MOCO - 任意时间行为模型 (moco_abm)
-
permu-rs
排列工具集合。它包含创建、管理和实验排列的有用工具。
-
xcsp3-rust
帮助使用 Rust 实现的约束编程求解器读取 XCSP3 文件
-
predicates-core
布尔值谓词函数的 API
-
xcc
带有颜色扩展的精确覆盖求解器
-
组合
工具、函数和生成器
-
rust_combinatorics
rust 的组合工具和函数
-
optim
组合优化工具
-
combinadics
组合数系统中的数字解码和编码方法
-
assert_that
用于布尔值谓词函数的辅助宏
尝试使用 DuckDuckGo 搜索。