github.com/togatoga/gatosat (go): A CDCL SAT solver written in Golang(Go).
Keywords: cdcl-algorithm|go|golang|sat|sat-solver