TY  - RPRT
TI  - Sundance: A Simple SMT Solver for Program Verification
AU  - Amar Shah
AU  - Benjamin F. Jones
AU  - Can Cebeci
AU  - Jason Z. S. Hu
AU  - Lee A. Barnett
AU  - Rémi Delmas
AU  - Marijn Heule
AU  - Bryan Parno
AU  - Bruno Dutertre
PY  - 2026
UR  - https://arxiv.org/abs/2611.05668
ID  - 2611.05668
ER  -