Skip to content

AdrienChampion/hashconsing

Repository files navigation

crates.io Documentation ci

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 HashMaps, 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

Contributors

About

A Rust hashconsing library.

Resources

License

Apache-2.0, MIT licenses found

Licenses found

Apache-2.0
LICENSE-APACHE
MIT
LICENSE-MIT

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages