.. This file is part of fm-weck: executing fm-tools in containerized environments.
   https://gitlab.com/sosy-lab/software/fm-weck

   SPDX-FileCopyrightText: 2024 Dirk Beyer <https://www.sosy-lab.org>

   SPDX-License-Identifier: Apache-2.0

fm-weck documentation
=====================

.. toctree::
   :maxdepth: 2
   
   Tutorial.md
   README-Artifact.md
   Remote-Run Tutorial.md
   shell-completion-setup.md
   zenodo-tutorial.md
   public_api.rst
   modules.rst