11 unstable releases

✓ Uses Rust 2018 edition

0.10.3 Dec 13, 2018
0.10.1 Jul 18, 2018
0.9.11 Jul 17, 2018
0.9.0 Oct 30, 2017
0.3.0 Oct 4, 2015

#15 in Caching

Download history 3/week @ 2018-10-10 126/week @ 2018-10-17 15/week @ 2018-10-24 10/week @ 2018-10-31 69/week @ 2018-11-07 43/week @ 2018-11-14 53/week @ 2018-11-21 30/week @ 2018-11-28 30/week @ 2018-12-05 7/week @ 2018-12-12 26/week @ 2018-12-19 100/week @ 2018-12-26 6/week @ 2019-01-02

172 downloads per month
Used in 1 crate

MIT/Apache

39KB
756 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