Small code snippet to crreate a dimacs file for a sudoku solver
main.rb creates a DIMACs file containing all logic necessary to solve it
read.rb can read created solution from minisat and print them
Assuming you have minisat (http://minisat.se/) installed: run.bat runs everything on a windows environment run.sh runs everything on a linux environment