Comments are moderated. It may take a few minutes before your comment appears.
Markdown is supported in your comments.
Solving works by applying a series of axioms to each line. (Known as line-solving.) These axioms are applied with the map2d() function, which also tracks if any progress was made. An overview of the rules: