diff --git a/README.md b/README.md index 3597e83..b048afe 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,5 @@
- py-metric-temporal logic logo + py-metric-temporal logic logo
A library for manipulating and evaluating metric temporal logic.
@@ -8,6 +8,10 @@ [![Build Status](https://travis-ci.org/mvcisback/py-metric-temporal-logic.svg?branch=master)](https://travis-ci.org/mvcisback/py-metric-temporal-logic) [![codecov](https://codecov.io/gh/mvcisback/py-metric-temporal-logic/branch/master/graph/badge.svg)](https://codecov.io/gh/mvcisback/py-metric-temporal-logic) +[![Updates](https://pyup.io/repos/github/mvcisback/py-aiger/shield.svg)](https://pyup.io/repos/github/mvcisback/py-aiger/) + +[![PyPI version](https://badge.fury.io/py/metric-temporal-logic.svg)](https://badge.fury.io/py/metric-temporal-logic) +[![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](https://opensource.org/licenses/MIT) # About diff --git a/assets/logo.png b/assets/logo.png new file mode 100644 index 0000000..bfe5fb2 Binary files /dev/null and b/assets/logo.png differ diff --git a/setup.py b/setup.py index f40660c..614ebda 100644 --- a/setup.py +++ b/setup.py @@ -2,8 +2,8 @@ from setuptools import find_packages, setup setup( name='metric-temporal-logic', - version='0.0.1', - description='TODO', + version='0.1.1', + description='A library for manipulating and evaluating metric temporal logic.', # noqa url='http://github.com/mvcisback/py-metric-temporal-logic', author='Marcell Vazquez-Chanlatte', author_email='marcell.vc@eecs.berkeley.edu',