Skip to content

raxod502/ScienceFair

master
Switch branches/tags
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Science Fair project

In eighth grade I did a science fair project at the urging of my school. My mentor (the splendid Dr. Aaron Bradley) exhibited admirable patience in guiding me through coding a Boolean satisfiability solver in Python, and then I used it to solve Sudoku puzzles. The alleged experiment was to see if puzzles rated as harder would take longer to solve via SAT. In this repository is the code, the results, and the paper and poster that I wrote up. For historical interest only, as I cannot imagine the implementation or analysis could have any actual utility. You can see what I thought a scientific paper was supposed to look like back in eighth grade, I suppose...

About

Middle school science fair project: Boolean satisfiability solver applied to Sudoku puzzles.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages