People in this thread might also like the (sort-of-)game Turing Machine, which should be out in the US in a couple of weeks.
The object is to find a hidden 3-digit sequence, with digits always being 1-5. You are given an array of "verifiers" which
you can test a single 3-digit sequence against during a given round, and which will tell you whether the sequence you
have put in has the same relationship to the verifier's statement as the hidden sequence does.
For example, a verifier might say "The digits are in ascending order." If you input a sequence that is in ascending order,
a "Yes" means that the hidden sequence is also in ascending order, while a "No" means that it is not (and vice versa for
a non-ascending-order sequence).
In each round, players create their sequence, privately test it against up to X verifiers and record the results, then
simultaneously decide whether they are ready to guess the hidden sequence. Those ready to make a guess do so
privately. An incorrect guess eliminates a player (i.e., only one guess per player per game). If one player guesses
correctly, that player wins. If multiple players guess correctly in the same round, the one who did the fewest tests
wins. Alternatively, you can play solo (this isn't much of a game anyway - it's a puzzle-solving race).
The game includes a number of printed puzzles and there will be a website and/or app to provide more.
I haven't mentioned how you test the verifiers. Each digit you can put in a sequence (i.e., 1 in position 1, 2 in position 1, etc) has its
own punch card with various holes. When any 3 of these are overlaid, only one hole is left all the way through. Each verifier has an
answer card with a yes/no symbol on each of 125 spaces. Putting a sequence's punch cards over an answer card shows your answer.
Image (the symbols in the corners are to verify that all the cards are oriented correctly):
(The check here means that just as the numbers in the sequence being tested add up
to a multiple of 3, so do the hidden sequence's numbers add up to a multiple of 3.)