Blazing-Fast SMT-LIB Parsing for Rust and Lean

Jan Onderka, Armin Biere, Henrik Böving

SMT-LIB is a standard input format for Satisfiability Modulo Theories (SMT) solvers. However, parsing the format is non-trivial and can become a bottleneck, e.g. when retrieving be…