sat

use final.tex to generate the report.

the script to generate data is in vendor/sudokugenerator-0.10/runner.sh Yes, that is an odd place to put it, but it worked there...

Run data.txt through ./tocsv to get some data.

Name		Name	Last commit message	Last commit date
Latest commit History 50 Commits
family2		family2
vendor		vendor
.gitignore		.gitignore
CMakeLists.txt		CMakeLists.txt
README.md		README.md
S.T		S.T
data.csv		data.csv
final.tex		final.tex
find.sh		find.sh
find2.sh		find2.sh
fixformat.cc		fixformat.cc
initial.tex		initial.tex
random.cc		random.cc
sgen.cc		sgen.cc
solver.cc		solver.cc
sudoku2sat.cc		sudoku2sat.cc
sudoku2sat2.cc		sudoku2sat2.cc
tocsv.cc		tocsv.cc

klusark/sat