GitHub repository: kristerw/smtgcc
Primary language: C++
Description: Some experiments with SMT solvers and GIMPLE IR