There are 0 repository under proof-number-search topic.
GABOR is a board game solver that can handle a whole class of games. It solved QANGO in all it's shapes and forms.
An antichess engine with bitboards, 5-man endgame tables and proof number search.
Basic proof number search implementation for Tic Tac Toe like games