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:

   abstractnn.affine_engine
   abstractnn.bound_propagator
   abstractnn.relaxer
   abstractnn.onnx_parser
   abstractnn.partial_evaluator
   abstractnn.soundness_checker