| ... | ... | @@ -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
|
|
|
|
* [Z3 SMT-Solver](https://github.com/Z3Prover/z3) |
|
|
|
|
