hashconsing 0.5.1

A hash consing library.
Documentation

hashconsing

Build Status Latest Version

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 built structure.

For more details see the documentation.

Known projects using hashconsing

  • kinō, a model-checker for transition systems.

License

MIT/Apache-2.0