129.

kristerw/smtgcc: Some experiments with SMT solvers and GIMPLE IR

github.com/kristerw/smtgcc