Explain how an SMT solver works on readme

zetzit / zz

🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C

MIT License

1.6k stars 52 forks source link

Closed richardanaya closed 4 years ago

richardanaya commented 4 years ago

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.

aep commented 4 years ago

dup of #12