.. Model Checking Toolkit (MCTK) documentation master file.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

Welcome to Model Checking Toolkit (MCTK)'s documentation!
=========================================================

.. toctree::
   :maxdepth: 2
   :caption: Contents

   tutorials/getstarted.md
   apis/mctk.rst
   tutorials/contributing.md

Indices and tables
==================

* :ref:`genindex`
* :ref:`modindex`