SLOT: SMT-LLVM Optimizing Translation - View it on GitHub