Metadata-Version: 2.1
Name: cls-python
Version: 0.1.1
Summary: Python implementation of the cls framework.
Home-page: https://github.com/cls-python/cls-python
Author: Jan Bessai
Author-email: jan.bessai@tu-dortmund.de
License: Apache License (2.0)
Keywords: cls-python
Classifier: Development Status :: 2 - Pre-Alpha
Classifier: Intended Audience :: Developers
Classifier: License :: OSI Approved :: Apache Software License
Classifier: Natural Language :: English
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.10
Requires-Python: >=3.10
License-File: LICENSE
License-File: AUTHORS.rst

==========
Cls-Python
==========


.. image:: https://img.shields.io/pypi/v/cls-python.svg
        :target: https://pypi.python.org/pypi/cls-python

.. image:: https://github.com/cls-python/cls-python/actions/workflows/test-build-release.yaml/badge.svg
        :target: https://github.com/cls-python/cls-python/actions/workflows/test-build-release.yaml

.. image:: https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/Jekannadar/bc966a7d659af93f31be6b04415b9468/raw/covbadge.json
        :target: https://github.com/cls-python/cls-python/actions/workflows/run-tests.yaml

.. image:: https://readthedocs.org/projects/cls-python/badge/?version=latest
        :target: https://cls.readthedocs.io/en/latest/?version=latest
        :alt: Documentation Status
..
  .. image:: https://pyup.io/repos/github/cls-python/cls-python/shield.svg
     :target: https://pyup.io/repos/github/cls-python/cls-python/
     :alt: Updates

TL:DR
--------

Implements the cls-framework in python, as presented and verified in the dissertation `A type-theoretic framework for software component synthesis <https://eldorado.tu-dortmund.de/handle/2003/38387>`_.




* Free software: Apache Software License 2.0
* Documentation: https://cls-python.readthedocs.io.


Features
--------

* Language Agnostic
* Formally Verified
* Handles Infinite Results
* Flexible JSON Import/Export


Credits
-------
* Jan Bessai <jan.bessai@tu-dortmund.de>
* Constantin Chaumet <constantin.chaumet@tu-dortmund.de>
* Anne Meyer <anne2.meyer@tu-dortmund.de>
* Daniel Scholtyssek <daniel.scholtyssek@tu-dortmund.de>


=======
History
=======

0.1.0 (2023-02-16)
------------------

* First release on PyPI.
