Experimental translation of llvm to smt. - View it on GitHub