ChangXin Sun
ChangXin Sun
sounds great and expect!
> It may be really interesting to write a backend for Julog using `Metatheory.EGraphs` and `Metatheory.EGraphs.AbstractAnalysis` to see if it simplifies the Julog codebase and outperforms the original implementation. any...
That's what happened to me!
> So I think we have two problems: 1) that we have the memory explosion/infinite loop in the first place, and 2) that the LS process seems to outlive the...