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 an algorithm for tight approximation of the post-impact velocity set .