9 releases (2 stable)
✓ Uses Rust 2018 edition
|1.0.1||Jan 12, 2020|
|1.0.0||Feb 16, 2019|
|0.10.3||Dec 13, 2018|
|0.10.1||Jul 18, 2018|
#13 in Caching
156 downloads per month
Used in zdd
hashconsing is a hash consing library in Rust.
It is based on Type-Safe Modular Hash-Consing by Filiâtre and Conchon.
It is slightly less efficient as uses Rust's
HashMaps, not a custom built
For more details see the documentation.
- kinō, a model-checker for transition systems
- hoice, a machine-learning-based predicate synthesizer for horn clauses