gpuShareLib
msvc
oracle
picosat
predict
pycryptosat
