Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.
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.
Known projects using
- kinō, a model-checker for transition systems
- hoice, a machine-learning-based predicate synthesizer for horn clauses