A free library for verifying the ModelicaSpice library (part of [BondLib](https://github.com/modelica-3rdparty/BondLib)).