https://github.com/crillab/gophersat
History
Tip revision: c6660fe294ac90764934bd72dbd7f2d6dc99106c authored by Fabien Delorme on 20 June 2019, 11:34:01 UTC
adding tests to travis
Tip revision: c6660fe
File Mode Size
bf
examples
maxsat
solver
.travis.yml -rw-r--r-- 228 bytes
LICENSE -rw-r--r-- 1.1 KB
README.md -rw-r--r-- 11.0 KB
gophersat.png -rw-r--r-- 24.8 KB
main.go -rw-r--r-- 6.3 KB

README.md

back to top