3 ms·
I'm giving a tutorial in a couple of days. Vids will be up later. https://github.com/philzook58/z3_tutorial https://github.com/philzook58/z3_tutorial
by philzook 6y ago
I'm giving a tutorial in a couple of days. Vids will be up later.
https://github.com/philzook58/z3_tutorial https://github.com/philzook58/z3_tutorial
- philzook 6y agoThese are other good resources: - rise4fun https://rise4fun.com/z3/tutorialcontent/guide https://rise4fun.com/z3/tutorialcontent/guide - https://ericpony.github.io/z3py-tutorial/guide-examples.htm https://ericpony.github.io/z3py-tutorial/guide-examples.htm - Programming Z3 -https://theory.stanford.edu/~nikolaj/programmingz3.html https://theory.stanford.edu/~nikolaj/programmingz3.html - Nikolaj Bjorner's tutorial https://youtu.be/nGwyNmsxX6I https://youtu.be/nGwyNmsxX6I - Hakank's examples http://www.hakank.org/z3/ http://www.hakank.org/z3/ - Yurichev's book "SMT by Example" https://yurichev.com/writings/SAT_SMT_by_example.pdf https://yurichev.com/writings/SAT_SMT_by_example.pdf - http://hackage.haskell.org/package/sbv http://hackage.haskell.org/package/sbv - https://www.youtube.com/watch?v=ruNFcH-KibY https://www.youtube.com/watch?v=ruNFcH-KibY Tikhon Jelvis - Analyzing Programs with Z3 - https://www.youtube.com/watch?v=rvPWDgJc0O4&ab_channel=ACMSIGPLAN https://www.youtube.com/watch?v=rvPWDgJc0O4&ab_channel=ACMSI... - Nadia Polykarpova on Z3 - SAT SMT school https://sat-smt.in/ https://sat-smt.in/ - Emina Torlak's course https://courses.cs.washington.edu/courses/cse507/19au/calendar.html https://courses.cs.washington.edu/courses/cse507/19au/calend... - Lindsey Kuper - SMT Solving and Solver-Aided Systems http://composition.al/CSE290Q-2019-09/ http://composition.al/CSE290Q-2019-09/ - http://www.sc-square.org/CSA/school/lectures.html http://www.sc-square.org/CSA/school/lectures.html