https://github.com/yihozhang/egraph-sqlite

egraph on top of sqlite
https://github.com/yihozhang/egraph-sqlite

Last synced: 7 months ago
JSON representation

egraph on top of sqlite

• Host: GitHub
• URL: https://github.com/yihozhang/egraph-sqlite
• Owner: yihozhang
• Created: 2021-05-15T22:01:34.000Z (over 4 years ago)
• Default Branch: main
• Last Pushed: 2022-03-08T00:43:58.000Z (over 3 years ago)
• Last Synced: 2025-01-16T16:19:39.598Z (9 months ago)
• Language: Racket
• Size: 35.2 KB
• Stars: 12
• Watchers: 2
• Forks: 2
• Open Issues: 0
• Metadata Files:

Awesome Lists containing this project

• awesome-egraphs - egraph-sqlite