z3tracer (cargo): Parser for Z3 tracing logs
Keywords: solver|smt|z3