Timothy Mou

I tried to determine whether the generic version had the same bug. This analogous unit test in `test_prop.ml` passes: ```ocaml (fun () -> let graph = EGraph.init () in let...

It seems `generic.ml` stores parent enodes in the eclass similar to egg: https://github.com/verse-lab/ego/blob/1d9a39a9064fddccaaee5282cc8a695bbed80955/lib/generic.ml#L24-L29 https://github.com/verse-lab/ego/blob/1d9a39a9064fddccaaee5282cc8a695bbed80955/lib/generic.ml#L308-L311

Gotcha, the generic version is a more well tested than the basic one, so I can see how the bug might've slipped through. I think I'll try to implement a...

I haven't tested this myself, but it looks like this question has the same problem and a solution: https://stackoverflow.com/questions/77253044/installing-z3-binding-with-haskell-on-mac. The problem it identifies is that your homebrew installed version 4.12.2,...

Ok, thanks