4 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
mgebser	e2c38b5459	Merge branch 'master' of ssh://github.com/potassco/plasp	2016-11-14 18:36:49 +01:00
mgebser	7f62503237	first version of postprocessing program to check plans and represent them sequentially	2016-11-14 18:36:01 +01:00
mgebser	888f12d88d	completed main parallel planning encodings for STRIPS instances	2016-11-14 16:56:51 +01:00
mgebser	b8357629a2	started to develop STRIPS encoding variants	2016-11-14 12:00:14 +01:00