Solver is a graphical user interface for solving antichess openings. Priority is placed on minimising the winning length over reducing the number of nodes. Some results are available here. The program was originally written in Python. This version is a conversion of existing code into C++.
How to use the program is described here.
The following libraries/modules/components are used in the program:
- Qt 5.15.2
- Cute Chess 1.3.1 (modified)
- Fairy-Stockfish (modified)
- Multi-Variant Stockfish (modified)
- Library to query Watkins proof tables (modified)
- QSS templates of DevSec Studio (modified)
- QSS templates of GTRONICK (modified)
- Dictzip from dictd 1.12.1 with Tvangeste's tweaks (modified)
- zlib 1.3.0.1
See the Releases page.
Solver requires Qt 5.15 or greater, a compiler with C++17 support, and CMake. Fairy-Stockfish with support of DTW antichess endgame tablebases is supposed to be used as an engine.
Endgame tablebase files are available on request. The 2-4-piece tablebase consists of 714 files of 500MB in size. The efficiency of the program is greatly reduced if you do not use at least 4-piece tablebase with DTW (Depth To Win) metric. Other metrics are not supported.
Solver is released under the GPLv3+ license except for the components in the projects/lib/components, projects/gui/components, and projects/gui/res/styles directories which are released under the MIT License.
Solver is written by Tolius.