Implement symbolic solver
As with #7, it should be possible to implement a symbolic solver using e.g. Sympy. This probably won't work for large circuits, but for small one it surely will.
Related: for displaying the results, adapt the LaTeX equation code in display.py
.