Logic and Solving
=================

This section combines the shared logical foundations, symbolic reasoning
toolkits, and the main Boolean/SMT solving workflows. It is the place to look
for core APIs, solver backends, and reusable reasoning infrastructure.

.. toctree::
   :maxdepth: 2

   bool
   smt
   ff
   fol
   utils
   srk
   unification
   allsmt
   backbone
   unsat_core
   optimization
   knowledge_compilation
   parallel_cdclt