hashconsing is a hash consing library in Rust.
It is a 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
For more details see the documentation.
Known projects using
- kinō, a model-checker for transition systems.