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

#40 in Caching

Download history 581/week @ 2023-11-23 867/week @ 2023-11-30 650/week @ 2023-12-07 759/week @ 2023-12-14 338/week @ 2023-12-21 313/week @ 2023-12-28 777/week @ 2024-01-04 576/week @ 2024-01-11 361/week @ 2024-01-18 363/week @ 2024-01-25 232/week @ 2024-02-01 496/week @ 2024-02-08 536/week @ 2024-02-15 466/week @ 2024-02-22 590/week @ 2024-02-29 310/week @ 2024-03-07

2,011 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

~11–260KB