From 032fa14f613d3c2dcada549b4b9e6f71bcb31eb3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Sat, 14 Oct 2017 02:37:46 +0200 Subject: [PATCH] =?UTF-8?q?Updated=20tagline=20to=20match=20plasp=E2=80=99?= =?UTF-8?q?s=20recently=20extended=20tool=20set.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index d5c8d1c..7944aa8 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,6 @@ # plasp [![GitHub Release](https://img.shields.io/github/release/potassco/plasp.svg?maxAge=3600)](https://github.com/potassco/plasp/releases) [![Build Status](https://img.shields.io/travis/potassco/plasp/master.svg?maxAge=3600&label=build%20%28master%29)](https://travis-ci.org/potassco/plasp?branch=master) [![Build Status](https://img.shields.io/travis/potassco/plasp/develop.svg?maxAge=3600&label=build%20%28develop%29)](https://travis-ci.org/potassco/plasp?branch=develop) -> Translate PDDL to ASP +> ASP planning tools for PDDL ## Overview