Reorganize repo structure to mimic stringfuzz
fnnbrr opened this issue · comments
- bin
- benchmarking
- plotting
- verification (for SMT and potentially SAT?)
- categories (for SAT and probably for SMT too)
Automated Analysis, Regression, and Evaluation
fnnbrr opened this issue · comments