Symbolic Circuit Analysis with MATLAB
This program allows you to define a circuit with a simple netlist, and then it symbolically solves the system of equations obtained with Modified Nodal Analysis.
A full description can be found at http://lpsa.swarthmore.edu/Systems/Electrical/mna/MNA6.html