Links for sat-mnist-solver