Added more details to the readme file.

This commit is contained in:
Patrick Lühne 2016-05-24 02:42:31 +02:00
parent c899ba6449
commit 4a023f20e4

View File

@ -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)