hashconsing

| linux | windows | | | |:-----:|:-------:|:---:|:---:| | | | | |

hashconsing is a hash consing library in Rust.

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