Constraint solver based on coverage-guided fuzzing - View it on GitHub