From 4a023f20e487b8d99d5584b0fc0cc8af3494130e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Tue, 24 May 2016 02:42:31 +0200 Subject: [PATCH] Added more details to the readme file. --- README.md | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/README.md b/README.md index a84fe0c..87378b0 100644 --- a/README.md +++ b/README.md @@ -4,8 +4,18 @@ `plasp` 3 is in early development and not intended for productive use yet. +As of now, `plasp` 3 experimentally supports the full [SAS Format](http://www.fast-downward.org/TranslatorOutputFormat) (as of version 3) used by [Fast Downward](www.fast-downward.org/). + Please get in touch with [Patrick Lühne](https://www.luehne.de) if you have any suggestions. +## Usage + +To translate SAS files into ASP facts, call: + +```bash +$ plasp file.sas +``` + ## Contributors * [Patrick Lühne](https://www.luehne.de) (plasp 3)