plasp 3.1.0

2017-11-17

100% Completed

Add “known issues” file documentation task

#21 by patrick was closed 2017-11-17 15:32:49 +01:00 -

Document PDDL 3.1 feature support documentation task

#20 by patrick was closed 2017-11-17 18:47:25 +01:00 -

Rename “doc” directory to “docs” aesthetic task

#19 by patrick was closed 2017-11-16 17:50:09 +01:00 -

Add documentation for plasp commands documentation task

#6 by patrick was closed 2017-11-16 18:25:33 +01:00 -

Update readme documentation task

#5 by patrick was closed 2017-11-16 18:25:20 +01:00 -

Document new output format documentation

#4 by patrick was closed 2017-11-17 17:14:12 +01:00 -

Issues in example encoding bug

#3 by patrick was closed 2017-11-17 18:52:55 +01:00 -

Unit tests: normalization task

#1 by patrick was closed 2017-11-16 17:42:12 +01:00 8 / 8 -