Expand description
Solver implementation.
Structs§
- NoTermination
- Marker type indicating no termination.
- Solver
- The main solver that optimizes planning solutions.
Traits§
- Maybe
Termination - Marker trait for termination types that can be used in Solver.