Ejemplos de printBoard en Python

Ejemplo n.º 1

Archivo: bool2Board.py Proyecto: picarus/Game-of-Life-SAT-and-CSP

def bool2board(name):
    
    M = readFile(name)

    B = generateBoardFromMinisatOutput(M)
    
    printBoard(B)

Ejemplo n.º 2

Archivo: golsnout.py Proyecto: picarus/Game-of-Life-SAT-and-CSP

def bool2board(name):
    
    M = readFile(name)

    if M[0][0]=='UNSAT':
        print 'UNSAT PROBLEM'
        return

    B = generateBoardFromMinisatExtendedOutput(M)

    # check no 1's in margin
    
    printBoard(B)

Ejemplo n.º 3

Archivo: checkResults.py Proyecto: picarus/Game-of-Life-SAT-and-CSP

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