3 Commits

Author	SHA1	Message	Date
mgebser	59e95c7097	some refactoring	2017-01-17 17:15:21 +01:00
mgebser	1458d93408	more parallel ''exists'' encoding variants	2017-01-16 17:15:19 +01:00
Patrick Lühne	c80688b241	Changed format of readme file for STRIPS encodings to Markdown.	2016-11-16 23:46:00 +01:00