9 releases (2 stable)

✓ Uses Rust 2018 edition

1.0.1 Jan 12, 2020
1.0.0 Feb 16, 2019
0.10.3 Dec 13, 2018
0.10.1 Jul 18, 2018
0.3.0 Oct 4, 2015

#13 in Caching

Download history 259/week @ 2019-12-09 4/week @ 2019-12-16 31/week @ 2019-12-23 2/week @ 2019-12-30 10/week @ 2020-01-06 206/week @ 2020-01-13 87/week @ 2020-01-20 21/week @ 2020-01-27 25/week @ 2020-02-03 24/week @ 2020-02-10 29/week @ 2020-02-17 64/week @ 2020-02-24 9/week @ 2020-03-02 46/week @ 2020-03-09 31/week @ 2020-03-16 46/week @ 2020-03-23

156 downloads per month
Used in zdd

MIT/Apache

38KB
716 lines

hashconsing

linux windows
Build Status Build status Latest Version codecov

hashconsing is a hash consing library in Rust.

It is based on Type-Safe Modular Hash-Consing by Filiâ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

Dependencies

~12KB