The Electric circuits problem solver (1980)