SolutionFormatter

A Formatter specialized in turning Solutions into human-readable Strings, e.g. for a REPL or logging.

Formatting typically delegates to an underlying TermFormatter to render the Solution.solvedQuery/ Solution.substitution terms involved.