.. package_name documentation master file, created by
   sphinx-quickstart on Tue Aug  6 16:58:44 2019.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

Welcome to specless's documentation!
========================================

**specless** (SPECification LEarning and Strategy Synthesis) is a Python library for learningg specification from demonstrations and synthesizing strategies that satisfy the given specification.
It aims to offer a *simple* and *intuitive* API.
To checkout the code, please visit our repo on `GitHub <https://github.com/watakandai/specless/>`_.

.. note::
   This project is under active development.


For installation, please check the :ref:`installation <installation>` guide.

Contents
=========
.. toctree::
   :maxdepth: 2

   reference

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

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