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" 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@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe