egglog 2.0.0

egglog is a language that combines the benefits of equality saturation and datalog. It can be used for analysis, optimization, and synthesis of programs. It is the successor to the popular rust library egg.
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
VAL	H0	H1
VAL	H2	H1
VAL	H3	H4
VAL	H5	H4
MEM	H6	MEM
MEM	H7	VAL
PR	H7	VAL
ELM	H8	ELM
ELM	H0	H1
ELM	H2	H1
ELM	H3	H4
ELM	H5	H4
H2	H0	MEM
H5	H3	ELM
H6	PR	H9
H7	H10	H11
H8	VAL	H9