[Haskell-cafe] ANN: toysolver 0.4.0 released

[Masahiro Sakai]

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

Thanks,

-- Masahiro Sakai