/src/lib/netlist/solver/