Super HN

   Solvingn the Santa Claus concurrency puzzle with a model checker (wyounas.github.io) 4 points by simplegeek 3 days ago