We present egglog, a fixpoint reasoning system that unifies Datalog and
...
Satisfiability Modulo Theory (SMT) solvers and equality saturation engin...
Interval arithmetic is a simple way to compute a mathematical expression...
An e-graph efficiently represents a congruence relation over many
expres...
An E-graph is a data structure that can efficiently encode the congruenc...