[Haskell-cafe] ANN: toysolver 0.4.0 released

KC 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

Casey

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
> 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
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20160125/f0961330/attachment.html>


More information about the Haskell-Cafe mailing list