[Haskell-cafe] ANN: toysolver 0.4.0 released
kc1956 at gmail.com
Mon Jan 25 14:56:48 UTC 2016
Does MILP call another package?
Sent from an expensive device which will be obsolete in a few months! :D
On Jan 25, 2016 6:54 AM, "Masahiro Sakai" <masahiro.sakai at gmail.com> wrote:
> 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
> 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
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe