API reference
The API is generated from Rust source with rustdoc. Start with models, reduction contracts, or solvers.
Run make doc to build the guides and API locally. For short runnable examples, see getting started.
The API is generated from Rust source with rustdoc. Start with models, reduction contracts, or solvers.
Run make doc to build the guides and API locally. For short runnable examples, see getting started.