4 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Patrick LühneandGitHub	8b6c4beed8	Merge pull request #3 from mgebser/strips ... Support for parallel actions without checking mutual disablement	2017-10-12 19:27:26 +02:00
Patrick LühneandGitHub	a24ce91acb	Merge pull request #2 from mgebser/strips ... improved strips encodings	2017-08-09 17:19:35 +02:00
Patrick Lühneandpatrick	dadb1801aa	Minor formatting in readme file.	2016-11-04 16:12:05 +01:00
Patrick LühneandGitHub	2f6255a4e8	Added contributor.	2016-11-03 18:36:57 +01:00