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

#22 in Caching

Download history 353/week @ 2018-12-03 344/week @ 2018-12-10 97/week @ 2018-12-17 446/week @ 2018-12-24 132/week @ 2018-12-31 17/week @ 2019-01-07 4/week @ 2019-01-14 21/week @ 2019-01-21 8/week @ 2019-01-28 27/week @ 2019-02-04 22/week @ 2019-02-11 8/week @ 2019-02-18 17/week @ 2019-02-25 17/week @ 2019-03-04 6/week @ 2019-03-11

97 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