Chess Unwinnability Analyzer is an implementation of a decision procedure for checking whether there exists a sequence of legal moves that allows a certain player to checkmate their opponent in a given chess position.
The current tool does not annotate moves on trivial_progress (when the position is advanced until more than one legal moves appear).
For example,
2kr4/KQqq4/1Q6/8/8/8/8/8 b - - black
does not output the helpmate line"
winnable# nodes 2 time 3365 (2kr4/KQqq4/1Q6/8/8/8/8/8 b - - black)
The current tool does not annotate moves on
trivial_progress(when the position is advanced until more than one legal moves appear). For example,2kr4/KQqq4/1Q6/8/8/8/8/8 b - - blackdoes not output the helpmate line"winnable# nodes 2 time 3365 (2kr4/KQqq4/1Q6/8/8/8/8/8 b - - black)