GitHub - qfiard/cuda-sat-solver: An implementation of a SAT solver using the CUDA library

Name		Name	Last commit message	Last commit date
Latest commit History 8 Commits
doc		doc
src		src
test		test
xcode		xcode
.gitignore		.gitignore
README		README

Repository files navigation

cuda-sat-solver
===============

An implementation of a SAT solver using the CUDA library

An implementation of a SAT solver using the CUDA library

No releases published