hashconsing
A Rust hashconsing library.
Project maintained by AdrienChampion Hosted on GitHub Pages — Theme by mattgraham
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