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 |
|
#104 in Caching
1,426 downloads per month
Used in zdd
72KB
1.5K
SLoC
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
~7–250KB