1 paper · 1 filter
Amar Shah, Benjamin F. Jones, Can Cebeci +6
We present Sundance, an SMT solver for program verification written in about 13,600 lines of Rust. Sundance combines the Cadical SAT solver with congruence closure, linear arithmet…