di40 / yashi-game-sat-logic Goto Github PK
View Code? Open in Web Editor NEWSolving the Yashi game using a combination of graph theory and SAT-solving. First, connectivity of the graph is verified, and if true, identification of all possible cycles is done. Then, after generating all necessary constraints, they are passed to a SAT solver.