SAT-Fuzzer

Software Reliability Coursework 1: Implement a SAT fuzzer

Authors: Hanbin QI, Buzhen YE, Yuzhou ZHUANG

Please check report.pdf for further information

Imperial College London

Name		Name	Last commit message	Last commit date
Latest commit History 74 Commits
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
func_generator.py		func_generator.py
fuzz-sat		fuzz-sat
report.pdf		report.pdf
sample.cnf		sample.cnf
ub_generator.py		ub_generator.py
ub_main.py		ub_main.py

Provide feedback