[Haskell-cafe] ANN: toysolver 0.4.0 released
masahiro.sakai at gmail.com
Mon Jan 25 14:53:59 UTC 2016
I'm announcing the release of the toysolver package,
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
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.
-- Masahiro Sakai
More information about the Haskell-Cafe