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