Hash Calculations for Domains#578

Merged

ArquintL merged 2 commits into

caching-modulo-domain-orderings

May 19, 2022

Commits on May 19, 2022

hash calculations for domains should not depend on the ordering of domain functions and axioms
ArquintL
committed
fixes hashing of domains with named axioms with identical expressions and adds unit tests
ArquintL
committed

⚡