Parallel SAT Solving using Bit-level Operations

Name		Name	Last commit message	Last commit date
Latest commit History 136 Commits
assembly_code		assembly_code
test		test
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md
cnf_generator.cpp		cnf_generator.cpp
cnf_generator.h		cnf_generator.h
cnf_parser.cpp		cnf_parser.cpp
cnf_parser.h		cnf_parser.h
concurrent_queue.cpp		concurrent_queue.cpp
concurrent_queue.h		concurrent_queue.h
job.bash		job.bash
main.cpp		main.cpp
multi_bit_solver.cpp		multi_bit_solver.cpp
multi_bit_solver.h		multi_bit_solver.h
report.docx		report.docx
report.pdf		report.pdf
rng.cpp		rng.cpp
rng.h		rng.h
single_bit_solver.cpp		single_bit_solver.cpp
single_bit_solver.h		single_bit_solver.h
solver.h		solver.h

Provide feedback