github.com/crillab/gophersat (go): gophersat, a SAT solver in Go
Keywords: artificial-intelligence|boolean-formulas|constraint-satisfaction-problem|constraints|pseudo-boolean-solver|sat-solver