https://github.com/crillab/gophersat
History
Tip revision: a9f25b26efbac4200769654b44490123ce9a18fd authored by Fabien Delorme on 14 February 2018, 12:53:34 UTC
removed dead code and added Optim method in Solver
Tip revision: a9f25b2
File Mode Size
bf
examples
solver
.travis.yml -rw-r--r-- 55 bytes
LICENSE -rw-r--r-- 1.1 KB
README.md -rw-r--r-- 8.2 KB
gophersat.png -rw-r--r-- 24.8 KB
main.go -rw-r--r-- 3.8 KB

README.md

back to top