Ejemplo n.º 1
0
def maximal_encoding(n):
    outputCNF.write_header(n ** 3, ALO_num + CON_num + MAX_num, cnfFlieName)

    ALO(n)
    CON_COLUMN(n)
    CON_ROW(n)
    CON_SUBGRIDS(n)
    MAX(n)
Ejemplo n.º 2
0
def support_encoding(n):
    outputCNF.write_header(n ** 3, ALO_num + AMO_num + SUP_num, cnfFlieName)

    ALO(n)
    AMO(n)
    SUP_ROW(n)
    SUP_COLUMN(n)
    SUP_SUBGRIDS(n)
Ejemplo n.º 3
0
def direct_encoding(n):
    outputCNF.write_header(n ** 3, ALO_num + AMO_num + CON_num, cnfFlieName)

    ALO(n)
    AMO(n)
    CON_COLUMN(n)
    CON_ROW(n)
    CON_SUBGRIDS(n)
Ejemplo n.º 4
0
def maximal_encoding(n):
    outputCNF.write_header(n ** 4, ALO_num + CON_IllegalMove(n) + MAX_new(n), cnfFlieName)

    ALO(n)
    CON_IllegalMove(n)
    MAX_new(n)
Ejemplo n.º 5
0
def support_encoding(n):
    outputCNF.write_header(n ** 4, ALO_num + AMO_num + SUP(n), cnfFlieName)

    ALO(n)
    AMO(n)
    SUP(n)
Ejemplo n.º 6
0
def direct_encoding(n):
    outputCNF.write_header(n ** 4, ALO_num + AMO_num + CON_IllegalMove(n), cnfFlieName)

    ALO(n)
    AMO(n)
    CON_IllegalMove(n)