Learn electronics by building your own SPICE with Python and Z3 | Dark Hacker News