Metadata-Version: 2.1
Name: cls-python
Version: 0.1.3
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 :: 3 - Alpha
Classifier: Intended Audience :: Science/Research
Classifier: Intended Audience :: Developers
Classifier: License :: OSI Approved :: Apache Software License
Classifier: Natural Language :: English
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3.11
Classifier: Operating System :: Microsoft :: Windows
Classifier: Operating System :: Unix
Classifier: Operating System :: MacOS
Requires-Python: >=3.10
License-File: LICENSE
License-File: AUTHORS.rst

==========
CLS-Python
==========


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

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

.. image:: https://img.shields.io/pypi/l/cls-python?color=blue
        :target: https://github.com/cls-python/cls-python/blob/main/LICENSE

.. image:: https://img.shields.io/github/issues/cls-python/cls-python
        :target: https://github.com/cls-python/cls-python/issues

.. 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://img.shields.io/badge/docs-online-green
        :target: https://cls-python.github.io/cls-python/readme.html
        :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.github.io/cls-python/readme.html.


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.3 (2023-02-17)
------------------

* Fix readme link to new gh-page.


0.1.2 (2023-02-17)
------------------

* Update CI to include build and deploy of gh-page.
* New badges for README.


0.1.1 (2023-02-17)
------------------

* Update CI.
* Exclude setup.cfg from trailing whitespace checking to work with bump2version.


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

* First release on PyPI.
