# Command

Run "minisat <input> <output>"

e.g. minisat sudoku.txt output.txt 

# Prettify sudoku output

tail -1 output.txt | sed -E -e "s/\-[0-9]+ //g" | sed -E -e "s/[0-9][0-9]([0-9]) /\1/g" | sed -e "s/.\{9\}/&\n/g"