[Haskell-cafe] [FUN] Cheryl's birthday; solved using Haskell/SBV

Levent Erkok erkokl at gmail.com
Thu Apr 23 02:20:54 UTC 2015

For those of us who'd rather have Haskell do the thinking for us:


Honestly, this is more an exercise in how to formalize such puzzles as
opposed to demonstrating the capabilities of SBV or SMT-solvers in general;
but fun nonetheless. The backend SMT solver (I used Z3) solves the puzzle



PS. Thanks to Amit Goel for suggesting the formalization strategy used in
the encoding.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20150422/cb7815b6/attachment.html>

More information about the Haskell-Cafe mailing list