PyRTLSweeper is a project I did for a college course over the spring, inspired by a SIGBOVIK submission [1], and I recently presented it at a small conference.

It's a Python package that takes a stateless digital circuit as input, and produces a Minesweeper board emulating the circuit. By placing flags on particular 'input' cells, the player can reduce the set of possible solutions so that some 'output' cells must have mines corresponding to the circuit's output.

Try it by following the instructions on GitHub!

If you want to listen to my talk, read my paper, or see my poster, all that stuff is here: https://edwinchang.dev/pyrtlsweeper

Happy to answer questions!

[1]: https://github.com/Kirby703/minesweeper-in-minesweeper