Constraint solver based on coverage-guided fuzzing
Scala library for parsing and printing the SMT-LIB format
A simple (unfinished) SMT solver for QF_ABV.