自作ソルバ集のtoysolverの0.4.0をリリース。 
これはSAT, SMT, Max-SAT, PBS (Pseudo Boolean Satisfaction), PBO (Pseudo Boolean Optimization), MILP (Mixed Integer Linear Programming), 非線形算術などのソルバを含んでいて、今回のリリースのハイライトはSMT(Satisfiablity Modulo Theories)ソルバtoysmtの追加。 ただ、今のところ性能は低いし、非解釈関数(uninterpreted function)の理論と実数線形算術(linear real arithmetic)の理論にしか対応していない。

ダウンロードはHackageかGithubから。
GithubにはWindows, Linux, Mac用のバイナリも一応用意してある。

http://hackage.haskell.org/package/toysolver
https://github.com/msakai/toysolver/releases/tag/v0.4.0