A deterministic algorithm for the distance and weight distribution of binary nonlinear codes. (2018)