Lib.rs

› 缓存
#hash #sharing #cache #consing

hashconsing

哈希合并库

由 Adrien Champion 和 2 位贡献者 创建

15 个版本 (8 个稳定版)

1.6.0 2023 年 9 月 25 日
1.5.1 2022 年 5 月 16 日
1.5.0 2021 年 4 月 22 日
1.3.0 2021 年 2 月 14 日
0.3.0 2015 年 10 月 4 日

#55 在 缓存

Download history • Rust 包仓库 202/week @ 2024-04-22 • Rust 包仓库 196/week @ 2024-04-29 • Rust 包仓库 183/week @ 2024-05-06 • Rust 包仓库 158/week @ 2024-05-13 • Rust 包仓库 254/week @ 2024-05-20 • Rust 包仓库 136/week @ 2024-05-27 • Rust 包仓库 125/week @ 2024-06-03 • Rust 包仓库 118/week @ 2024-06-10 • Rust 包仓库 103/week @ 2024-06-17 • Rust 包仓库 217/week @ 2024-06-24 • Rust 包仓库 137/week @ 2024-07-01 • Rust 包仓库 235/week @ 2024-07-08 • Rust 包仓库 161/week @ 2024-07-15 • Rust 包仓库 224/week @ 2024-07-22 • Rust 包仓库 135/week @ 2024-07-29 • Rust 包仓库 191/week @ 2024-08-05 • Rust 包仓库

每月 730 次下载
用于 zdd

MIT/Apache

72KB
1.5K SLoC

crates.io Documentation ci

hashconsing

hashconsing 是一个 Rust 哈希合并库。

它基于 Filliâtre 和 Conchon 的《类型安全模块化哈希合并》—— Type-Safe Modular Hash-Consing。由于使用了 Rust 的 HashMap 而不是自定义结构，所以效率略低。

更多详情请参阅 文档。

使用 hashconsing 的已知项目

  • kinō，一个用于转换系统的模型检查器
  • hoice，一个基于机器学习的用于 Horn 子句的谓词合成器

许可证

MIT/Apache-2.0

贡献者

依赖

~250KB