markelliot/backtrack-sat
3-SAT solver fun from Cornell CS-476 homework
User scripts for StackOverflow
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
3-SAT solver fun from Cornell CS-476 homework
PHP forum software (note: no longer actively developed)