# Functions
Format formats a solution in a basic format using factory.ToSolutionOutput to format each solution and also allows to check the solutions and add the check to the output of each solution.
ModelCheck is the check of a model returning a [Output].
SolutionCheck is the check of a solution returning a [Output].
ToVerbosity converts a string to a verbosity.
# Structs
Objective is the estimate of an objective of a move.
ObjectiveTerm is the check of the individual terms of the objective for a move.
Options are the options for a check.
Output is the output of the check.
PlanUnit is the check of a plan unit.
Solution is the solution the check has been executed on.
Summary is the summary of the check.
Vehicle is the check of a vehicle.
# Type aliases
Verbosity is the verbosity of the check.