hashconsing
linux | windows | ||
---|---|---|---|
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 HashMap
s, 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