withOperators

fun withOperators(operators: OperatorSet, groundQueriesHaveBooleanSolution: Boolean = false): SolutionFormatter

Creates a SolutionFormatter that pretty-prints expressions using the given operators for notation.