Module solutions

Functions which search for and format solutions.

Functions

format_solution

Formats the results of a query for display.

get_stack_size

Gets the environment variable RUST_MIN_STACK.

solve

Finds one solution for the given solution node.

solve_all

Finds all solutions for the given query.