Binairo

Introduction

This is a Python program which automatically solves a Binairo puzzle by only completing cells whose values can be deduced definitely. No backtracking is required to solve any of the puzzles on this website.

More advanced algorithms can solve harder Binairo puzzles by reducing it to a Boolean satisfiability problem.

Here is a sample puzzle and its solution:

Instructions

This program requires the PyAutoGUI library.

To run the program:

1. Position the terminal window over the web browser, leaving the puzzle board visible.
2. Upon receiving the terminal prompt, hover the cursor over the top left corner of the board.
3. Repeat with the bottom left corner.
4. Input the dimensions of the board, and the program will solve the puzzle from there.