GitHub - cmplx/pdsat: Parallel and Distributed SAT solver

Name		Name	Last commit message	Last commit date
Latest commit History 302 Commits
VS2013_boinc_work_generator		VS2013_boinc_work_generator
VS2013_latin_conseq		VS2013_latin_conseq
VS2013_minisat		VS2013_minisat
VS2013_mpi		VS2013_mpi
include_win_common		include_win_common
src_boinc_app_crypto		src_boinc_app_crypto
src_boinc_app_latin		src_boinc_app_latin
src_boinc_assimilator		src_boinc_assimilator
src_boinc_work_generator		src_boinc_work_generator
src_common		src_common
src_conseq		src_conseq
src_dcapi_assimilator		src_dcapi_assimilator
src_dcapi_work_generator_latin		src_dcapi_work_generator_latin
src_mpi		src_mpi
src_solver		src_solver
.gitattributes		.gitattributes
.gitignore		.gitignore