home.md

@@ -66,6 +66,7 @@ TicTacToe implementation in ReasonML.
 * [language-elm](https://github.com/eliaslfox/language-elm): a Haskell library for generating Elm source code from an ast
 * [elm-compiler](https://github.com/elm/compiler): the Elm compiler written in Haskell
 * [elm-compiler-tooling](https://github.com/elm-tooling/elm-compiler-library): a library version of the Elm compiler
+* [Z3](https://github.com/Z3Prover/z3/releases/tag/z3-4.6.0): Versions later than 4.6 do not work with the Haskell library 
 
 ### SMT