a generic parser and tools for the BTOR2 format
