When we create a pip-installable package and put it on PyPI, we should
have a way to test our installation steps.
Possible installation steps
- pip install graphsat (from pip and without poetry)
- install Minisat22
- run the test suite of graphsat (will need to include tests as part of the package)
Docker recommendations
- use alpine-linux for a slimmer image
- cache the pip installation for faster testing time