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

Labels Milestones

Extend background on planning strategies
task
#40 by patrick was closed 2018-01-24 15:07:10 +01:00 Extended Paper for TPLP Journal 0001-01-01
Check solution correctness
benchmarks
task
#39 by patrick was closed 2018-01-24 15:07:10 +01:00 Extended Paper for TPLP Journal 0001-01-01
Tweak experiment tables in paper visually
aesthetic
#37 by patrick was closed 2017-12-15 17:30:59 +01:00 Extended Paper for TPLP Journal 4 / 4 0001-01-01
Proofread paper
aesthetic
task
#36 by patrick was closed 2018-01-24 15:07:10 +01:00 Extended Paper for TPLP Journal 0001-01-01
Review plasp section
task
#35 by patrick was closed 2017-12-08 17:18:10 +01:00 Extended Paper for TPLP Journal 0001-01-01
Add tables for PDDL benchmarks to the paper
aesthetic
benchmarks
task
#29 by patrick was closed 2017-12-08 17:18:15 +01:00 Extended Paper for TPLP Journal 0001-01-01
Add table for ASP planning benchmark results to the paper
aesthetic
benchmarks
task
#28 by patrick was closed 2017-12-13 00:32:00 +01:00 Extended Paper for TPLP Journal 0001-01-01
Benchmark generate-and-check planning
benchmarks
task
#26 by patrick was closed 2017-11-27 20:50:24 +01:00 Extended Paper for TPLP Journal 0001-01-01
Add “known issues” file
documentation
task
#21 by patrick was closed 2017-11-17 15:32:49 +01:00 plasp 3.1.0 0001-01-01
Document PDDL 3.1 feature support
documentation
task
#20 by patrick was closed 2017-11-17 18:47:25 +01:00 plasp 3.1.0 0001-01-01
Repeat the LPNMR paper benchmarks
benchmarks
task
#18 by patrick was closed 2017-11-27 01:26:40 +01:00 Extended Paper for TPLP Journal 0 / 2 0001-01-01
Improve planning benchmark tool
benchmarks
enhancement
task
#17 by patrick was closed 2017-11-24 01:09:43 +01:00 Extended Paper for TPLP Journal 0001-01-01
Replicate Jussi Rintanen’s benchmark set
benchmarks
task
#16 by patrick was closed 2017-12-07 13:55:35 +01:00 Extended Paper for TPLP Journal 0001-01-01
Write paper section about plasp’s implementation details
documentation
task
#9 by patrick was closed 2017-11-27 14:33:24 +01:00 Extended Paper for TPLP Journal 0001-01-01
Add documentation for plasp commands
documentation
task
#6 by patrick was closed 2017-11-16 18:25:33 +01:00 plasp 3.1.0 0001-01-01
Update readme
documentation
task
#5 by patrick was closed 2017-11-16 18:25:20 +01:00 plasp 3.1.0 0001-01-01
Document new output format
documentation
#4 by patrick was closed 2017-11-17 17:14:12 +01:00 plasp 3.1.0 0001-01-01
Issues in example encoding
bug
#3 by patrick was closed 2017-11-17 18:52:55 +01:00 plasp 3.1.0 0001-01-01
Rename user-defined variables consistently
task
#2 by patrick was closed 2017-11-25 13:41:07 +01:00 plasp 3.1.1 0001-01-01
Unit tests: normalization
task
#1 by patrick was closed 2017-11-16 17:42:12 +01:00 plasp 3.1.0 8 / 8 0001-01-01