I wrote a game (SAT solving was the inspiration) back in 2022.

https://vivegi.github.io/Trek/