Mirror (Self)

A generic parser and tool package for the BTOR2 format.@gh - Boolector

VCS #Forks Repository
GitHub GitHub 16 https://github.com/Boolector/btor2tools

Contact information

Mail to Andreas Kupries