Jannis Harder

It might be clear from the context, but to avoid confusion, I'd like to clarify that my conflict analysis isn't more efficient compared to other solvers. Adding propagated unit clauses...

I was also getting the `No coverage data found` error, and it seems that the binary compiled with fuzzing instrumentation is at a different path from the main fuzzing binary...