hashconsing 1.7.0

A hash consing library.

Coverage
100%
92 out of 92 items documented4 out of 72 items with examples
Size
Source code size: 102.63 kB This is the summed size of all the files inside the crates.io package for this release.
Documentation size: 11.21 MB This is the summed size of all files generated by rustdoc for all configured targets
Ø build duration
this release: 37s Average build duration of successful builds.
all releases: 20s Average build duration of successful builds in releases after 2024-10-23.
Links
Homepage
AdrienChampion/hashconsing
38 6 5
crates.io
Dependencies
Versions
Owners

crates.io

`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.

License

MIT/Apache-2.0

Developers

@adrienchampion, original author
@lenianiva, maintainer

Contributors

@alex-ozdemir