.. black-sat documentation master file, created by
   sphinx-quickstart on Fri Jun 24 16:09:31 2022.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

=====================================
BLACK
=====================================
**Bounded Lᴛʟ sAtisfiability ChecKer**

Welcome to **BLACK**'s website.

BLACK is a temporal reasoning framework for Linear Temporal Logic (LTL) and
related logics. 

BLACK is open-source and released under the MIT license. For its source code,
look at its `GitHub repository <https://github.com/black-sat/black>`_. 

.. note::
   This is the documentation for the **development** branch, which is 
   undergoing a major overhaul of the whole system. Please refer to stable 
   releases if you want to use BLACK.

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

   development
   api/guide
   api/reference
   publications