sat_mnist_solver-1.0.0-py3-none-any.whl sat_mnist_solver-1.0.0.tar.gz