This report presents a general theory of contract-impact problems cast in a variational theorem suitable for implementation with the finite element method. The numerical scheme is described as is the structural analysis computer code in which it is contained.