clar.solver
===========

.. currentmodule:: clar

.. autofunction:: solver