def board2bool(name):
M = readFile(name)
B = generateBoardFromInput(M)
n = len(B)
BI = generateIndexBoard(len(B))
BHM = generateHowManyBoard(B)
BDC = generateBoardCellsAround(B,BI,n,0)
# printBoard(B)
# printBoard(BI)
# printBoard(BHM)
# printBoard(BDC)
generateRules(B, BI, BHM, BDC)
def checkResults(name1, name2):
M1 = readFile(name1)
M2 = readFile(name2)
if M2[0][0] == "UNSAT":
print "UNSAT PROBLEM"
return
B1 = generateBoardFromInput(M1) # read Input file
B2 = generateBoardFromMinisatExtendedOutput(M2) # read Result
compare(B1, B2) # add * for new checkers (and ! for errors)
n = len(B2) * 2
print "-" * n
printBoard(B1)
print "-" * n
print " "
print "-" * n
printBoard(B2)
print "-" * n