Pagai computes loop invariants on programs given as LLVM bitcode.
Pagai computes loop invariants using a mixture of abstract interpretation and decision procedures.
info visites 828819
