patrick
/
plasp
Archived
1
0
Fork 0
Code Issues 12 Releases 8 Activity

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 0001-01-01
Document PDDL 3.1 feature support
documentation
task
#20 by patrick was closed 2017-11-17 18:47:25 +01:00 0001-01-01
Rename “doc” directory to “docs”
aesthetic
task
1
#19 by patrick was closed 2017-11-16 17:50:09 +01:00 0001-01-01
Add documentation for plasp commands
documentation
task
#6 by patrick was closed 2017-11-16 18:25:33 +01:00 0001-01-01
Update readme
documentation
task
#5 by patrick was closed 2017-11-16 18:25:20 +01:00 0001-01-01
Document new output format
documentation
#4 by patrick was closed 2017-11-17 17:14:12 +01:00 0001-01-01
Issues in example encoding
bug
#3 by patrick was closed 2017-11-17 18:52:55 +01:00 0001-01-01
Unit tests: normalization
task
#1 by patrick was closed 2017-11-16 17:42:12 +01:00 8 / 8 0001-01-01