[Haskell-cafe] Solving integer equations in Haskell

Justin Paston-Cooper paston.cooper at gmail.com
Wed Oct 17 12:35:43 CEST 2012

Thanks for all the informative replies. SBV seems the simplest solution
right now, and speed isn't too much of an issue here. Anything under 20
seconds per solution should be bearable.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20121017/1d702434/attachment.htm>

More information about the Haskell-Cafe mailing list