github.com/mitchellh/go-sat (go): SAT solver written in Go (golang).
Keywords: go|golang|sat|sat-solver