GitHub repository: mikekben/SLOT
Primary language: C++
Description: SLOT: SMT-LLVM Optimizing Translation