コード例 #1
0
ファイル: Sudoku.py プロジェクト: 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)
コード例 #2
0
ファイル: Sudoku.py プロジェクト: 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)
コード例 #3
0
ファイル: Sudoku.py プロジェクト: 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)
コード例 #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)
コード例 #5
0
def support_encoding(n):
    outputCNF.write_header(n ** 4, ALO_num + AMO_num + SUP(n), cnfFlieName)

    ALO(n)
    AMO(n)
    SUP(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)