ふと、Goで書かれたSATソルバってあるのかなと探してみたら、 Giniとgo-satというのが見つかった。
The Gini sat solver is a fast, clean SAT solver written in go.
https://github.com/IRIFrance/gini
go-sat is a pure Go library for solving Boolean satisfiability problems (SAT)
https://github.com/mitchellh/go-sat
あと、ソルバの実装ではないけれど、MegoSATというのを発見。
MegoSAT: Differential cryptanalysis with SAT solvers.
http://lukas-prokop.at/proj/megosat/