[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:

https://gist.github.com/LeventErkok/654a86a3ec7d3799b624

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
instantly.

Enjoy..

-Levent.

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