SMTStabilizer Documentation Main Page

Welcome to the combined documentation for SMTStabilizer API, parser, kernel, and utility modules.

Scope

This documentation intentionally separates two audiences:

• Public API users: start from API classes and C/C++ entry points under src/api.
• Maintainers: follow parser ingestion (src/parser), kernel normalization (src/kernel), and shared helpers (src/util).

Parser internals are documented at interface level. Utility helpers are documented around behavior contracts and intended call sites.

Documentation Map

• API and Kernel Boundary
• Parser Overview
• Kernel Overview
• Utility Overview
• Pipeline Walkthrough
• Glossary
• FAQ

Quick Start

1. Read the API facade class stabilizer::api::SMTStabilizer.
2. Follow parser entry points in stabilizer::parser::Parser and related sort/value helpers.
3. Continue into stabilizer::node::NodeManager and stabilizer::kernel::Kernel for normalization.
4. Use utility references (stabilizer::util) when tracking hashing and bitvector/runtime helpers.