Dear all, I'm announcing the release of the toysolver package. http://hackage.haskell.org/package/toysolver https://github.com/msakai/toysolver It provides solver implementations of various problems including SAT, Max-SAT, PBS (Pseudo Boolean Satisfaction), PBO (Pseudo Boolean Optimization), MILP (Mixed Integer Linear Programming) and non-linear real arithmetic. In particular it contains moderately-fast pure-Haskell SAT solver 'toysat'. It can also be used as a backend for ersatz and satchmo. http://hackage.haskell.org/package/ersatz-toysat http://hackage.haskell.org/package/satchmo-toysat Regards, -- Masahiro Sakai