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

plasp 3.2.0

No due date
0% Completed
Autocompletion for bash and zsh
enhancement
suggestion
#25 opened 2017-11-17 23:12:50 +01:00 by patrick 0001-01-01
Implement solution checker
enhancement
1
#24 opened 2017-11-17 22:27:12 +01:00 by patrick 0001-01-01
Document plasp’s input grammar
documentation
task
#22 opened 2017-11-16 22:17:27 +01:00 by patrick 0001-01-01
Misleading error message when using undeclared constants
aesthetic
#15 opened 2017-11-09 14:54:03 +01:00 by patrick 0001-01-01
Remove pddl-instances submodule dependency
enhancement
task
#13 opened 2017-11-08 18:43:01 +01:00 by patrick 0001-01-01
Add end-to-end planning tests
enhancement
task
#11 opened 2017-11-08 17:57:48 +01:00 by patrick 0001-01-01
Implement integrated planner component
enhancement
suggestion
#10 opened 2017-11-08 17:55:49 +01:00 by patrick 0001-01-01
Unify output format for axiom rules and derived predicates
enhancement
#8 opened 2017-11-03 19:44:40 +01:00 by patrick 0001-01-01