SAT solver written in Go (golang). - View it on GitHub