10 releases (5 breaking)
|0.10.1||Jul 18, 2018|
|0.9.11||Jul 17, 2018|
|0.9.0||Oct 30, 2017|
|0.5.1||May 11, 2017|
#12 in Caching
128 downloads per month
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
- lazy_static 1.*