Lib.rs

› Caching
#hash #cache #sharing #consing

hashconsing

A hash consing library

by Adrien Champion and 2 contributors

15 releases (8 stable)

1.6.0 Sep 25, 2023
1.5.1 May 16, 2022
1.5.0 Apr 22, 2021
1.3.0 Feb 14, 2021
0.3.0 Oct 4, 2015

#61 in Caching

Download history 103/week @ 2024-06-15 213/week @ 2024-06-22 141/week @ 2024-06-29 226/week @ 2024-07-06 176/week @ 2024-07-13 177/week @ 2024-07-20 179/week @ 2024-07-27 191/week @ 2024-08-03 215/week @ 2024-08-10 147/week @ 2024-08-17 276/week @ 2024-08-24 159/week @ 2024-08-31 241/week @ 2024-09-07 286/week @ 2024-09-14 450/week @ 2024-09-21 322/week @ 2024-09-28

1,342 downloads per month
Used in zdd

MIT/Apache

72KB
1.5K SLoC

crates.io Documentation ci

hashconsing

hashconsing is a Rust hash consing library.

It is based on Type-Safe Modular Hash-Consing by Filliâtre and Conchon. It is slightly less efficient as uses Rust's HashMaps, not a custom built structure.

For more details see the documentation.

Known projects using hashconsing

  • kinō, a model-checker for transition systems
  • hoice, a machine-learning-based predicate synthesizer for horn clauses

License

MIT/Apache-2.0

Contributors

Dependencies

~6–260KB