
API Reference
=============

This section provides detailed API documentation for all AbstClaud modules.

Core Modules
------------

.. toctree::
   :maxdepth: 2

   affine_engine
   bound_propagator
   relaxer
   onnx_parser
   partial_evaluator
   soundness_checker

Module Overview
---------------

.. autosummary::
   :toctree: _autosummary
   :recursive:

   modules.affine_engine
   modules.bound_propagator
   modules.relaxer
   modules.onnx_parser
   modules.partial_evaluator
   modules.soundness_checker