Lecture 10

SMT Solvers

Lecture

Slides: PDF, PPTX

Notes: PDF

Outline

• TODO

References

• SMT-LIB
• Z3 Prover
• CVC4 Prover
• Dennis Yurichev. SAT/SMT by Example
• Z3 Playground
• Z3 Solver Online Demonstrator