from Hacker News

Solving Battleships with SAT

by keenerd on 2/24/18, 4:31 AM with 0 comments