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)
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)
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)
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)
def support_encoding(n): outputCNF.write_header(n ** 4, ALO_num + AMO_num + SUP(n), cnfFlieName) ALO(n) AMO(n) SUP(n)
def direct_encoding(n): outputCNF.write_header(n ** 4, ALO_num + AMO_num + CON_IllegalMove(n), cnfFlieName) ALO(n) AMO(n) CON_IllegalMove(n)