This is an experimental equality saturation engine written in python. It works with more or less arbitrary finite signatures and sets of rewriting rules. It also supports explanations (not perfectly though). Its main goal is to support machine learning so that it is possible to learn rewriting strategies (this part is not implemented yet).
-
Notifications
You must be signed in to change notification settings - Fork 1
sergei-grechanik/peqsen
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Experimental equality saturation engine in python
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published