hashconsing
is a hash consing library in Rust.
It is a rather straightforward implementation of a paper by FiliĆ¢tre and Conchon.
For more details see the documentation.
Usage
Add this to your Cargo.toml
:
[]
= "0.2.1"
and this to your crate root:
// Optional, if you want to use the macros.
extern crate hashconsing;