GitHub repository: miguel-ambrona/D3-Chess
Primary language: C++
Created: 2020-12-07T13:43:13Z
Description: 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.