verse.stars.starset.check\_unsat
================================

.. currentmodule:: verse.stars.starset

.. autofunction:: check_unsat