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

#10 in Caching

Download history 20/week @ 2019-10-14 42/week @ 2019-10-21 15/week @ 2019-10-28 14/week @ 2019-11-04 18/week @ 2019-11-11 13/week @ 2019-11-18 20/week @ 2019-11-25 25/week @ 2019-12-02 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

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