.. automodule:: insights.combiners.smt
   :members:
   :show-inheritance: