[Haskell-cafe] ANN: toysolver 0.3.0 released
masahiro.sakai at gmail.com
Mon Jun 1 11:05:04 UTC 2015
I'm announcing the release of the toysolver package.
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.
-- Masahiro Sakai
More information about the Haskell-Cafe