News for hackers. Stuff that matters.
Re:Gophersat: A SAT solver written in Go by jzelinskie on Thursday September 28, 2017 @10:25AM (#15357311)
There's also gps[0], which has been what the community has been working to integrate with dependency management tools since 2016[1] and is what's currently used in dep[2]. I'm not sure how generically applicable it is, though.

[0]: https://github.com/sdboyer/gps

[1]: https://github.com/Masterminds/glide/tree/gps-integration

[2]: https://github.com/golang/dep

There are no comments on this comment yet.