To install and run this, please unzip the files into a fresh directory. Then run the install script by running this command from within that directory:

python3 setup.py install

This will install any necessary requirements. You can access the CLI help by running:

python3 hexapawn_solver.py --help

Or you can run the solver by either passing a filename:

python3 hexapawn_solver.py --filename ~/tests/mytests.in

or by redirecting stdin:

python3 hexapawn_solver.py < ~/tests/mytests.in