sat
the backend is now launched by `sat.core.launcher`, and the script is generated during installation with a new entry point in `setup.py`.