docs.rs failed to build hashconsing-1.5.0
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.
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.
Visit the last successful build:
hashconsing-1.6.0
hashconsing
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 HashMap
s, not a custom built structure.
For more details see the documentation.
Known projects using hashconsing
- kinō, a model-checker for transition systems
- hoice, a machine-learning-based predicate synthesizer for horn clauses
License
MIT/Apache-2.0