Str8ts solver ¶
This solver can solve various str8ts puzzles. It’s a bit more powerful than the default solver, and can solve most (all?) of the site’s “impossible” puzzles. It uses various solving strategies to reduce possible solutions, in a similar fashion to what a human would do. It currently is missing some strategies (at least a strategy for unique solution constraints) but it should be good enough to assist in solving various puzzles.