@misc{indiciae13657abe2f6d,
  title = {Sundance: A Simple SMT Solver for Program Verification},
  author = {Amar Shah and Benjamin F. Jones and Can Cebeci and Jason Z. S. Hu and Lee A. Barnett and Rémi Delmas and Marijn Heule and Bryan Parno and Bruno Dutertre},
  year = {2026},
  url = {https://arxiv.org/abs/2611.05668},
  note = {Source identifier: 2611.05668}
}