various stuff related to logic puzzles