diff --git a/README.md b/README.md index 754c811..bc28280 100644 --- a/README.md +++ b/README.md @@ -1,18 +1,17 @@ -# Status -
py-metric-temporal logic logo
A library for manipulating and evaluating metric temporal logic.
-
[![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) +# Installation +`$ pip install metric-temporal-logic` # About