github.com/styczynski/go-sat-solver (go): SAT solver written in Go (based on Minisat)
Keywords: go|online-sat|sat|sat-solver