Hacker News new | ask | show | jobs
Solving Santa Claus Puzzle with a Model Checker (wyounas.github.io)
3 points by simplegeek 27 days ago