ru-automated-reasoning-group / lineararbitrary-seahorn Goto Github PK
View Code? Open in Web Editor NEWThis project forked from galoisinc/lineararbitrary-seahorn
PLDI 18' LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.
License: Other