/
peterrudenko
/
e-graph
Обзор
Документация
Войти
/
peterrudenko
/
e-graph
Код
Запросы
0
Задачи
Вики
Пакеты
0
Релизы
0
Аналитика
Безопасность
e-graph
Следить
1
Форк
0
Избранное
0
GigaIDE Cloud
P
peterrudenko
Tidy up
2 года назад
a8f0537
Описание
E-graph implementation for educational purposes
egraphs
equality-saturation
term-rewriting
В избранном
0
Следят
1
Языки
C++
CMake
Сообщить о нарушении
main
Ветки:
2
Коммиты:
17
Теги:
0
Код
.clang-format
Init the repo
2 года назад
.gitattributes
Init the repo
2 года назад
.gitignore
Add simple e-matching and rewriting
2 года назад
CMakeLists.txt
Better tests
2 года назад
EGraph.h
Tidy up
2 года назад
LICENSE
Init the repo
2 года назад
README.md
Simplify things further
2 года назад
Serialization.h
Better tests
2 года назад
TestLanguage.h
Tidy up
2 года назад
Tests.cpp
Tidy up
2 года назад
README.md
Описание
E-graph implementation for educational purposes
egraphs
equality-saturation
term-rewriting
В избранном
0
Следят
1
Языки
C++
CMake
Сообщить о нарушении