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

Labels Milestones

Autocompletion for bash and zsh
enhancement
suggestion
#25 opened 2017-11-17 23:12:50 +01:00 by patrick plasp 3.2.0 0001-01-01
Implement solution checker
enhancement
1
#24 opened 2017-11-17 22:27:12 +01:00 by patrick plasp 3.2.0 0001-01-01
Ignore requirements completely
enhancement
#23 opened 2017-11-17 15:47:39 +01:00 by patrick plasp 3.1.2 0001-01-01
Document plasp’s input grammar
documentation
task
#22 opened 2017-11-16 22:17:27 +01:00 by patrick plasp 3.2.0 0001-01-01
Misleading error message when using undeclared constants
aesthetic
#15 opened 2017-11-09 14:54:03 +01:00 by patrick plasp 3.2.0 0001-01-01
Test that all allegedly supported domains are indeed translated without errors
task
#14 opened 2017-11-08 18:51:07 +01:00 by patrick plasp 3.1.2 0001-01-01
Remove pddl-instances submodule dependency
enhancement
task
#13 opened 2017-11-08 18:43:01 +01:00 by patrick plasp 3.2.0 0001-01-01
Support the Meson build system
enhancement
#12 opened 2017-11-08 18:35:25 +01:00 by patrick plasp 3.1.2 0 / 3 0001-01-01
Add end-to-end planning tests
enhancement
task
#11 opened 2017-11-08 17:57:48 +01:00 by patrick plasp 3.2.0 0001-01-01
Implement integrated planner component
enhancement
suggestion
#10 opened 2017-11-08 17:55:49 +01:00 by patrick plasp 3.2.0 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 plasp 3.2.0 0001-01-01
New command for computing requirements
enhancement
#7 opened 2017-11-03 19:42:55 +01:00 by patrick plasp 3.1.2