Satisfiability Modulo Theories: A Beginner’s Tutorial is an excellent practical walkthrough of interacting with SMT solvers. Part of this tutorial is a set of exercises, of which this repository ...

This repository contains sources of Z3Guide, an online tutorial for Z3 powered by RiSE at Microsoft Research. The rest of this page is for developers contributing to the tutorial docs of Z3. These ...

Abstract: CVC4 is a solver for Satisfiability Modulo Theories (SMT). This tutorial aims to give participants an overview of SMT, describe the main features of CVC4, and walk through in-depth examples ...