<p dir="ltr">Does MILP call another package? </p>
<p dir="ltr">--<br>
--</p>
<p dir="ltr">Sent from an expensive device which will be obsolete in a few months! :D</p>
<p dir="ltr">Casey<br>
    </p>
<div class="gmail_quote">On Jan 25, 2016 6:54 AM, "Masahiro Sakai" <<a href="mailto:masahiro.sakai@gmail.com">masahiro.sakai@gmail.com</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I'm announcing the release of the toysolver package,<br>
version 0.4.0.<br>
<br>
The toysolver provides solver implementations of various<br>
problems including SAT, SMT, Max-SAT, PBS (Pseudo Boolean<br>
Satisfaction), PBO (Pseudo Boolean Optimization), MILP<br>
(Mixed Integer Linear Programming) and non-linear real<br>
arithmetic.<br>
<br>
The highlight of this release is the introduction of<br>
SMT (Satisfiablity Modulo Theories) solver 'toysmt'.<br>
<br>
At the moment, toysmt is very experimental and only<br>
supports the theory of uninterpreted functions and<br>
the theory of linear real arithmetic.<br>
<br>
<a href="http://hackage.haskell.org/package/toysolver" rel="noreferrer" target="_blank">http://hackage.haskell.org/package/toysolver</a><br>
<a href="https://github.com/msakai/toysolver/releases/tag/v0.4.0" rel="noreferrer" target="_blank">https://github.com/msakai/toysolver/releases/tag/v0.4.0</a><br>
<br>
Thanks,<br>
<br>
-- Masahiro Sakai<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
</blockquote></div>