This project implements several strategies to prisoners and hats puzzles.
It originated as a desire to check strategies to Matt Parker's last variation on the riddles.
The principle is to generate random lists of hats, run a strategy on them and check the result.
Of course this does not make any proof that a strategy is optimal, but it helps making confident that it works and is effective 😃.