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)