.. Knowledge-Base Interface documentation master file, created by
   sphinx-quickstart on Mon Dec 27 20:57:51 2021.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

Welcome to Knowledge-Base Interface's documentation!
====================================================

The Knowledge-Base interface is developed to interface the Knowledge-Base, developed within the Paco-project, via a native python API

.. important:: The Knowledge-Base python API currently supports the baseline KB (KB version 8)

Content
=======

.. toctree::
   :maxdepth: 2

   Installation<install>
   How to run<quickstart>
   Change log<ChangeLog>
   Examples (KB Core)<Core_examples>
   Examples (ASG)<ASG_examples>
   Examples (DFA)<DFA_examples>
   Examples (Optimization)<Performance_examples>
   Examples (Contract-Based Co-Design)<ContractOntology_examples>
   JSON examples (interface objects)<InterfaceObjects_examples>
   Auto-validation distribution<validation>
   Internal Documentation<Internal>