[console_scripts]
sat-mnist-solver = satlib.core:main
