Giters

yebuzhen / SAT-Fuzzer

CO440 Software Reliability Coursework 1: Implement a SAT fuzzer

Home Page:https://srg.doc.ic.ac.uk/440/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

fuzzerfuzzingsatisfiability-solverpython

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

About

CO440 Software Reliability Coursework 1: Implement a SAT fuzzer

https://srg.doc.ic.ac.uk/440/

fuzzerfuzzingsatisfiability-solverpython

License:MIT License

Languages

Language:Python 99.1%Language:Shell 0.9%