This is a fork of egg primarily designed for plat-smt (a toy QF_UF smt solver). It is still mostly compatible with the original version of egg when using the "egg_compat" feature (enabled by default).
Repository navigation
forked from egraphs-good/egg