Open
Description
Assuming egraphs-good/egglog#519 works out, it should be possible to use Egglog as a CQL chase engine for cartesian theories or a Skolem chase engine for regular theories.
{{ message }}
No type
No projects
No milestone
None yet
No branches or pull requests
Activity