markelliot/backtrack-sat
3-SAT solver fun from Cornell CS-476 homework
Discovered public repositories for markelliot in the GitHub catalog.
3-SAT solver fun from Cornell CS-476 homework
User scripts for StackOverflow
PHP forum software (note: no longer actively developed)