Solvingn the Santa Claus concurrency puzzle with a model checker | Dark Hacker News