129. Copy link kristerw/smtgcc: Some experiments with SMT solvers and GIMPLE IR github.com/kristerw/smtgcc sat