.. ct4l-lib documentation master file, created by
   sphinx-quickstart on Sat Mar 27 10:59:07 2021.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

Welcome to ct4l-lib's documentation!
====================================

The **ct4l-lib** is part of the CT4L project, which stands for
**C**\ ompositional **T**\ ools **for** **L**\ ogic, and consists of a collection of classes,
algorithms and functionalities implemented in C++ to represent, manipulate and explore
non-deterministic many-valued semantics and related deductive systems.

.. toctree::
   :maxdepth: 2

   usage/installation
   usage/quickstart
   core/index
   common/index