John von Neumann also consulted for the ENIAC project