EGraphs Sandbox

You are probably looking for Slotted E-Graphs? They have been moved into their dedicated repo.

This repo is for more general experiments with egraphs.

Name		Name	Last commit message	Last commit date
1-subst-tests		1-subst-tests
10-benchmark		10-benchmark
2-miniegg		2-miniegg
3-miniegg-with-slots		3-miniegg-with-slots
4-miniegg-with-slots-II		4-miniegg-with-slots-II
5-egg-de-bruijn		5-egg-de-bruijn
6-baseline-explicit-subst		6-baseline-explicit-subst
7-baseline-explicit-subst-improved		7-baseline-explicit-subst-improved
8-pyplot		8-pyplot
9-gat-experiments		9-gat-experiments
gen-finder		gen-finder
lamcalc		lamcalc
.gitignore		.gitignore
README.md		README.md

Navigation Menu