Solvers
=======

This section documents the solver frameworks, constraint solving backends, and
SMT-based model checking components used throughout Lotus.

.. toctree::
   :maxdepth: 2

   cudd
   smt
   wpds
   smtsampler
   symabs
   slot
   staub
   egraphs_simp