From 4a3dee26604c5ca59408c284ed345748019e31e3 Mon Sep 17 00:00:00 2001 From: Marcell Vazquez-Chanlatte Date: Mon, 24 Sep 2018 15:19:15 -0700 Subject: [PATCH] Update README.md --- README.md | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) 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