gophersat, a SAT solver in Go - View it on GitHub