Skip to main content

Module solver

Module solver 

Source

Structs§

NoTermination
SolveResult
Solver
The main solver that optimizes planning solutions.

Traits§

MaybeTermination
Marker trait for termination types that can be used in Solver.