1. 12
  1.  

  2. 7

    Direct link to the book. The book uses Z3, which is small, easy to embed, and permissively licensed. It’s a fantastic tool (disclaimer, it’s written by my employer, but I enjoyed playing with it even before I went to work there).