/llvm2smt

Experimental translation of llvm to smt.

Primary LanguageLLVMMIT LicenseMIT

Issues