go-sat
go-sat copied to clipboard
go-sat vs gini
Go-sat's goals were previously accomplished in gini (http://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?
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