Quantified Reasoning
===================

This section focuses on quantified formulas: general background, quantifier
elimination, and quantifier-instantiation-based solving.

.. toctree::
   :maxdepth: 2

   quantifiers
   qe
   qi