10 releases (5 breaking)

0.10.1 Jul 18, 2018
0.9.11 Jul 17, 2018
0.9.0 Oct 30, 2017
0.5.1 May 11, 2017
0.3.0 Oct 4, 2015

#12 in Caching

Download history 33/week @ 2018-05-26 76/week @ 2018-06-02 8/week @ 2018-06-09 28/week @ 2018-06-16 11/week @ 2018-06-23 55/week @ 2018-06-30 8/week @ 2018-07-07 2/week @ 2018-07-14 57/week @ 2018-07-21 25/week @ 2018-07-28 46/week @ 2018-08-04 48/week @ 2018-08-11 13/week @ 2018-08-18

128 downloads per month

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

MIT/Apache-2.0 license

Dependencies

Reverse deps