Jason Yang

Home About Contact Archive

Z3

Posted on April 1, 2013

Tags: appliedmath

https://sat-smt.codes/SAT_SMT_by_example.pdf

SAT solvers solve Boolean equation in CNF form
SMT solvers allow quantifiers

Site proudly generated by Hakyll

Jason's Notes by Jason Yang is licensed under CC BY-NC-ND 4.0