Chess Helpmate Analyzer (CHA) 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. - View it on GitHub