Based on my other comment, do you have any in mind that would be more appropriate?

For each operation my CPU’s ALU can do, I need to find a bit mask that turns it on only for the desired set of 8 bit opcodes. The bit mask is of the form [01_].[01_][01_][01_][01_][01_][01_][01_][01_] where 0 and 1 mean the bit has to match and _ means it doesn’t matter. The bit before the . is the xor of all the other bits in the opcode.

The solver has to figure out both which opcodes represent each instruction and what bit masks are needed to give them the desired operations.

I don’t know what that’s from, but the premise of “person thinks name tag is for their benefit” alone would be funny enough even if it was actually a name tag.