A generic parser and tool package for the BTOR2 format. - View it on GitHub