The Btor2Tools package provides a generic parser and tools for the BTOR2 format.

WWW: https://github.com/Boolector/btor2tools
