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.

Fix net joining logic.

Enable parsing of ALIAS lines in parts libraries. Allow non-numeric pin "numbers".

Add s-exp parser.

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 tests.

Add command line parser and basic command line flags for input and output.

Some renaming

Adjust lib/dune