hashconsing
| Crates.io | hashconsing |
| lib.rs | hashconsing |
| version | 1.6.0 |
| created_at | 2015-09-19 17:37:45.452018+00 |
| updated_at | 2023-09-25 13:36:16.013494+00 |
| description | A hash consing library. |
| homepage | https://github.com/AdrienChampion/hashconsing |
| repository | https://github.com/AdrienChampion/hashconsing |
| max_upload_size | |
| id | 3070 |
| size | 95,544 |
Adrien Champion (AdrienChampion)
documentation
https://docs.rs/hashconsing
README
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