go-sat vs gini

[wsc1]

Go-sat's goals were previously accomplished in gini (https://github.com/irifrance/gini), which is pretty competitive with picosat and minisat and all-go. Could you put a reference in the README.md which suggests gini as another alternative if you are looking for performance?

[dgryski]

Also the recently released https://github.com/crillab/gophersat . Here's a post comparing gini and gophersat: https://groups.google.com/d/msg/golang-nuts/SE1dNC8N46o/0drzp9jdAQAJ