/smtgcc

Some experiments with SMT solvers and GIMPLE IR

Primary LanguageC++Apache License 2.0Apache-2.0

Stargazers