~cypheon/kicad2spice

Generate SPICE netlists from Kicad Eeschema files
bc76afef — Johann Rudloff 2 years ago
Use labelled assertions to get a REALLY useful unsat-core.
9502f7f8 — Johann Rudloff 2 years ago
Add basic smtlib-based netlist equivalency check.
96e390bc — Johann Rudloff 2 years ago
Implement correct pin order according to field "Spice_Node_Sequence"

refs

master
browse  log 

clone

read-only
https://git.sr.ht/~cypheon/kicad2spice
read/write
git@git.sr.ht:~cypheon/kicad2spice

You can also use your local clone with git send-email.