Esiste Ahkab scritto in Python (quindi multi piattaforma), può risolvere i circuiti in modo simbolico, ad esempio:
http://ahkab.readthedocs.io/en/latest/e ... ation.htmlIl softare è in versione di sviluppo quindi non definitivo e molto limitato nei dispositivi che simula. La descrizione del circuito è molto simile a quella di SPICE (quello originale sviluppato alla università Berkeley).
La cosa migliore è usare un software CAS (Computer Algebra System) open source multi piattaforma, per me il migliore è Maxima:
http://maxima.sourceforge.net/in accoppiata al front-end grafico wxMaxima (Maxima è su linea di comando):
http://andrejv.github.io/wxmaxima/index.htmlSi scrivono le equazione circuitali simboliche e si invocano i comandi per risolverle e semplificarle.