Battleship

Solving Battleships with SAT

Comments are moderated. It may take a few minutes before your comment appears.
Markdown is supported in your comments.

#! /usr/bin/env python3

from sat import *

cnf = CNF('/tmp/bs.cnf')
f = cnf.auto_term