Checkers solver by БМЕПП from UrFU Before running on linux, make sure to run following command: export LD_PRELOAD=/usr/lib/x86_64-linux-gnu/libstdc++.so.6