GitHub repository: season-lab/fuzzy-sat
Primary language: C
Description: An approximate solver for concolic execution