@@ -49,8 +49,9 @@ TicTacToe implementation in ReasonML.
### SMT
*[Z3 SMT-Solver](https://github.com/Z3Prover/z3) and [Z3 Guide and Tutorial](https://rise4fun.com/Z3/tutorial/)
*[sbv](http://leventerkok.github.io/sbv/): SMT library for Haskell
*[TIP](http://tip-org.github.io): project that translates Haskell programs into an intermediate language TIP
*[A gentle introduction to symbolic execution](https://blog.monic.co/a-gentle-introduction-to-symbolic-execution/): a blog post about symbolic execution of Haskell programs
*[SAT/SMT by Example](https://yurichev.com/SAT_SMT.html): free (open source) book about SAT and SMT