Embodiments determine properties of electrical networks. An example embodiment creates, in memory, a representation of an electrical network as a plurality of nodes, where the plurality of nodes include a source node and multiple downstream nodes. Next, a ...