Skip to content

small code snippet to crreate a dimacs file for a sudoku solver

Notifications You must be signed in to change notification settings

hilben/sudoku-dimacs-creator

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

3 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

sudoku-dimacs-creator

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

About

small code snippet to crreate a dimacs file for a sudoku solver

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published