search

jasperzhong / cs-notes

CS认知体系
6 stars 0 forks source link

Satisfiability Modulo Theories (SMT) #12

Closed jasperzhong closed 3 years ago

jasperzhong commented 3 years ago

Satisfiability modulo theories

jasperzhong commented 3 years ago

https://www.youtube.com/watch?v=zeQASMpuSGE

这个视频不错.

试了下z3. 挺爽的.

jasperzhong commented 3 years ago

https://theory.stanford.edu/~nikolaj/programmingz3.html

stanford z3的tutorial不错.

https://ericpony.github.io/z3py-tutorial/advanced-examples.htm

这个也可以