Translation scripts for puzzle encodings.
compilation: Compilation scripts for puzzle encodings.
graphColoringEncoderProgScript.sml: Encoding program for the graph coloring problem
killerSudokuEncoderProgScript.sml: Encoding program for the killer sudoku puzzle
nQueensEncoderProgScript.sml: Encoding program for the n-queens problem
numBoolRangeEncoderProgScript.sml: Encoding program for the numBoolRange datatype
sat_encodersProgScript.sml: Translate of all to-CNF encoding functions
sudokuEncoderProgScript.sml: Encoding program for the sudoku puzzle
toCnfHelperScript.sml: Helper functions for producing cnf output