Before revision:  We finally cast simulation of simultaneous impacts as a linear complementarity problem (LCP), and develop a probabilistically-complete algorithm for approximating the post-impact velocity set  .
After revision:  We finally cast simulation of simultaneous impacts as a linear complementarity problem (LCP), and develop a probabilistically-complete algorithm for approximating the post-impact velocity set with probabilistic guarantees .