DIMACS SAT Solver Fuzzer

Built a mutation-based, grammar-aware Python fuzzer for C SAT solvers that generates DIMACS CNF inputs, tracks gcov coverage, and buckets ASan/UBSan crashes. The engine saves unique bug-triggering cases and uses coverage-guided corpus management to explore solver behavior.