Solving Battleships with SAT #1 Post by keenerd » Sat, Feb 24, 2018, 4:31 AM UTC Solving Battleships with SATkmkeen.com