Skip to content

Use contextual hashtbl in Egraph instead of PatriciaTrees

François Bobot requested to merge context_uf into master

Two times speedup on a medium problem. Need more extensive regression testing. @hra687261 It can be interesting to test on your example I will test FactoryIA

Merge request reports