https://github.com/crillab/gophersat
Tip revision: a9f25b26efbac4200769654b44490123ce9a18fd authored by Fabien Delorme on 14 February 2018, 12:53:34 UTC
removed dead code and added Optim method in Solver
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 |