satex (pypi): Helper script for managing SAT Heritage docker images
Keywords: docker|reproducibility|sat|sat-solvers