This repository has been archived on 2023-07-19. You can view files and clone it. You cannot open issues or pull requests or push a commit.

patrick fd5416c94e Removed template from LogStream.

2016-06-14 16:09:47 +02:00

..

pddl

Renamed method to »logWarning.«

2016-06-14 15:12:45 +02:00

sas

Made output stream a member of the SAS translator for convenience.

2016-06-12 22:35:31 +02:00

utils

Removed template from LogStream.

2016-06-14 16:09:47 +02:00

Language.h

Implemented automatic language detection for plasp application.

2016-06-10 01:23:41 +02:00

LanguageDetection.h

Implemented recognition of comments in PDDL.

2016-06-10 16:40:43 +02:00