1 2 3
# Documentation The documentation is available at: <https://sat-modulo-symmetries.readthedocs.io/>