Could Julia help?

[0x0f0f0f]

We have higher-level constructs, Julia has a nice FFI C interface, should be quite easy to call from C. Performance is not the same as egg but comparable (faster than egg compiled in debug mode, slower than --release mode, sits in between),

This branch is latest release candidate:
JuliaSymbolics/Metatheory.jl#185

We have stuff that could help for beta reduction. See tests/integration folder

[marcusrossel]

Sounds interesting! I won't have time to look into this any time soon, but if you want to try to hook up the egg tactic to Metatheory.jl I can help you get started on that. I think it could be rather simple as most of the work in this repo is rather independent of the backend solver.