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

#13 in Caching

Download history 20/week @ 2018-06-29 22/week @ 2018-07-06 1/week @ 2018-07-13 58/week @ 2018-07-20 24/week @ 2018-07-27 27/week @ 2018-08-03 68/week @ 2018-08-10 11/week @ 2018-08-17 18/week @ 2018-08-24 14/week @ 2018-08-31 34/week @ 2018-09-07 6/week @ 2018-09-14 8/week @ 2018-09-21

128 downloads per month
Used in 1 crate

MIT/Apache

35KB
647 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