zbendefy/opencl-satsolver

Brute force sat solver in OpenCL

语言：Java · GitHub 星标：9 · Fork：0

话题：gpgpu · gpu · java · opencl · opencl-satsolver · sat-solver · solver

在 GitHub 上查看原仓库