Tutorial practice problems for the SAT+SMT winter school 2018.
This repository only has problems, not solutions. Email me your github username and I will add you to a private repository with the solutions.
The slides for the presentation are also in this repository.
- Pramod Subramanyan
- email: spramod [at] cse [dot] iit [dot] ac [dot] in