Computing B-Stationary Points of Nonsmooth DC Programs | Synapse