├── LICENSE └── README.md /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/philzook58/awesome-egraphs/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/philzook58/awesome-egraphs/HEAD/README.md --------------------------------------------------------------------------------