Structs§
- Phase
Scope - Scope for a single phase of solving.
- Solver
Progress Ref - Solver
Scope - Top-level scope for the entire solving process.
- Step
Scope - Scope for a single step within a phase.
Enums§
Traits§
- Progress
Callback - Sealed trait for invoking an optional progress callback.