@misc{indiciae671bace6d25a,
  title = {Blazing-Fast SMT-LIB Parsing for Rust and Lean},
  author = {Jan Onderka and Armin Biere and Henrik Böving},
  year = {2026},
  url = {https://arxiv.org/abs/2611.00185},
  note = {Source identifier: 2611.00185}
}