Gophersat: A SAT solver written in Go
It would be nice to have some usage hints.<p>Here is the generated godoc: <a href="https:&#x2F;&#x2F;godoc.org&#x2F;github.com&#x2F;crillab&#x2F;gophersat&#x2F;solver" rel="nofollow">https:&#x2F;&#x2F;godoc.org&#x2F;github.com&#x2F;crillab&#x2F;gophersat&#x2F;solver</a>