search

mitchellh / go-sat

SAT solver written in Go (golang).
MIT License
135 stars 7 forks source link

go-sat vs gini #2

Open wsc1 opened 6 years ago

wsc1 commented 6 years ago

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?

dgryski commented 6 years ago

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