plasp 3.1.0

2017-11-17

100% Completed

0 Open 8 Closed

Label

Show archived labels Use alt + click/enter to exclude labels

All labels No label

aesthetic

benchmarks

bug

documentation

duplicate

enhancement

help wanted

invalid

question

suggestion

task

wontfix

Project

All projects No project

Author

All users

Assignee

All assignees No assignee

patrick

Sort

Newest Oldest Recently updated Least recently updated Most commented Least commented Nearest due date Farthest due date

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

1

#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 -