Parsing of Z3 logs.
Parser for Z3 traces.
Configuration for the parsing of Z3 traces.
Actions taken when visiting Z3 logs.