Expand description
Builder module for constructing solver components from configuration
This module provides the wiring between configuration types and the actual solver implementation.
Structsยง
- Acceptor
Builder - Builder for constructing acceptors from configuration.
- Solver
Builder - Builder for constructing a complete solver from configuration.
- Termination
Builder - Builder for constructing termination conditions from configuration.