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:

toml [dependencies] hashconsing = "0.3.0"

and this to your crate root:

```rust

[macro_use] // Optional, if you want to use the macros.

extern crate hashconsing; ```