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 202/week @ 2024-04-22 196/week @ 2024-04-29 183/week @ 2024-05-06 158/week @ 2024-05-13 254/week @ 2024-05-20 136/week @ 2024-05-27 125/week @ 2024-06-03 118/week @ 2024-06-10 103/week @ 2024-06-17 217/week @ 2024-06-24 137/week @ 2024-07-01 235/week @ 2024-07-08 161/week @ 2024-07-15 224/week @ 2024-07-22 135/week @ 2024-07-29 191/week @ 2024-08-05

每月 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