Python write_header Examples

Example #1

File: Sudoku.py Project: GaryGoh/SAT_FinalProject

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)

Example #2

File: Sudoku.py Project: GaryGoh/SAT_FinalProject

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)

Example #3

File: Sudoku.py Project: GaryGoh/SAT_FinalProject

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)

Example #4

File: KnightTour.py Project: GaryGoh/SAT_FinalProject

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)

Example #5

File: KnightTour.py Project: GaryGoh/SAT_FinalProject

def support_encoding(n):
    outputCNF.write_header(n ** 4, ALO_num + AMO_num + SUP(n), cnfFlieName)

    ALO(n)
    AMO(n)
    SUP(n)

Example #6

File: KnightTour.py Project: GaryGoh/SAT_FinalProject

def direct_encoding(n):
    outputCNF.write_header(n ** 4, ALO_num + AMO_num + CON_IllegalMove(n), cnfFlieName)

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