Use labelled assertions to get a REALLY useful unsat-core.
Add basic smtlib-based netlist equivalency check.
Implement correct pin order according to field "Spice_Node_Sequence"
Move write_* functions closer together.
Rename export_pspice -> export_spice
Slightly change net naming to be more similiar to what eeschema generates.
Export Spice netlist according to defined primitives, guarantee unique naming for components in netlist.
Ignore components during netlist export when field "spice_netlist_enabled" is set to "N".
Provide convenience accessor for component extra fields.
Parse extra fields of components.
Enable parsing of ALIAS lines in parts libraries. Allow non-numeric pin "numbers".
Upgrade to ocaml>=4.08.0, replace batteries with extlib.
Remove unneeded module qualifier.
Remove custom next_line function and use Lexing.new_line
Add command line parser and basic command line flags for input and output.