LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages. - View it on GitHub