GitHub repository: ultimate-pa/smtinterpol
Primary language: Java
Description: SMTInterpol interpolating SMT solver