A hash consing library.
Various hashconsing implementations with a common interface.
This crate provides a few representations of SMT scripts and other functionalities.
Easy interning of data
Library and procedural macros for Hash Consed, Immutable, Reference Counted, Persistent, Directed Acyclic Graph data structures.