AKNM Circuit Magic symbolic circuit analysis.
Symbolic circuits analysis software to simulate AC/DC circuits using Kirchhoffs laws, Node Voltage and Mesh currents.
5Spice circuit analysis and simulation software - download free copy