5 Commits

Include renames

Author	SHA1	Message	Date
patrick	9642bab0c8	Enabled colored unit test results by default.	2017-06-19 00:13:13 +02:00
patrick	517698475c	Added test cases for all competition domains (not all of them supported yet).	2017-06-19 00:13:03 +02:00
patrick	0b8da69394	Added official PDDL competition instances for automated testing.	2017-06-19 00:13:03 +02:00
patrick	a7c4fdb242	Started reimplementing problem parser.	2017-06-19 00:12:51 +02:00
patrick	d7db0d8ccd	Started implementing clean, separate PDDL syntax tree and parser.	2017-05-12 13:58:28 +02:00