New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Apply normalization at the constructor level #63

Open

filipeom opened this issue Jan 24, 2024 · 1 comment · Fixed by #64

Labels

proposal

Member

filipeom commented Jan 24, 2024 •

edited

https://dl.acm.org/doi/10.1145/2393596.2393665
http://www.cs.sun.ac.za/~jaco/PAPERS/vgd12.pdf

filipeom changed the title ~~Apply normalization at the constructor level~~ Apply canonization at the constructor level

filipeom mentioned this issue

Expression normalization at constructor level #64

Merged

filipeom changed the title ~~Apply canonization at the constructor level~~ Apply normalization at the constructor level

Member Author

filipeom commented Jan 26, 2024

To help #55

filipeom mentioned this issue

Release 0.1.0 #69

Closed

4 tasks

filipeom linked a pull request

that will close this issue

Canonization and SAT cache #76

Closed

filipeom added the proposal label

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment