[Haskell-cafe] ANN: toysolver 0.3.0 released

[Masahiro Sakai]

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