I'm announcing the release of the toysolver package, version 0.4.0.
The toysolver provides solver implementations of various problems including SAT, SMT, Max-SAT, PBS (Pseudo Boolean Satisfaction), PBO (Pseudo Boolean Optimization), MILP (Mixed Integer Linear Programming) and non-linear real arithmetic.
The highlight of this release is the introduction of SMT (Satisfiablity Modulo Theories) solver 'toysmt'.
At the moment, toysmt is very experimental and only supports the theory of uninterpreted functions and the theory of linear real arithmetic.
http://hackage.haskell.org/package/toysolver
https://github.com/msakai/toysolver/releases/tag/v0.4.0
Enjoy!