Module parser
z3tracer
Parsing of Z3 logs.
Parser for Z3 traces.
Actions taken when visiting Z3 logs.