hash-consing

Here is 1 public repository matching this topic...

jaspek / rotor-c-hashcons

One data structure, two orders of magnitude: hash-consing back-ported into selfie's C rotor generates models ~93x faster (139 s -> 1.5 s) with byte-identical output - evidence that the speed-up is the algorithm, not the language.

c performance riscv selfie bounded-model-checking hash-consing btor2

Updated Jul 10, 2026
C

Add this topic to your repo

To associate your repository with the hash-consing topic, visit your repo's landing page and select "manage topics."

Learn more