This repository was archived by the owner on Jun 17, 2022. It is now read-only.

Explain how an SMT solver works on readme #48

Closed

richardanaya opened this issue Apr 1, 2020 · 1 comment

richardanaya commented Apr 1, 2020

I think this could help make it more clear of why ZZ is awesome. I do not know what it means or fully the implications.

Collaborator

aep commented Apr 1, 2020

dup of #12

aep closed this as completed

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