hashconsing 0.3.0

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:

[dependencies]
hashconsing = "0.2.1"

and this to your crate root:

#[macro_use] // Optional, if you want to use the macros.
extern crate hashconsing;