12 releases (1 stable)

✓ Uses Rust 2018 edition

1.0.0 Feb 16, 2019
0.10.3 Dec 13, 2018
0.10.1 Jul 18, 2018
0.9.0 Oct 30, 2017
0.3.0 Oct 4, 2015

#8 in Caching

Download history 3/week @ 2019-01-16 23/week @ 2019-01-23 13/week @ 2019-01-30 20/week @ 2019-02-06 27/week @ 2019-02-13 4/week @ 2019-02-20 28/week @ 2019-02-27 8/week @ 2019-03-06 5/week @ 2019-03-13 90/week @ 2019-03-20 14/week @ 2019-03-27 14/week @ 2019-04-03 6/week @ 2019-04-10 7/week @ 2019-04-17 4/week @ 2019-04-24

88 downloads per month
Used in 1 crate

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