Best of Go
Trending Go repos, updated daily
SAT solver written in Go (golang).
Created
Feb 2017
Total stars
141
