abcorrea

University of Basel, Switzerland

Pinned Repositories

abcorrea.github.io
Language:Ruby00
asp-grounding-planning
Language:PDDL02
downward
The Fast Downward domain-independent classical planning system
Language:Python00
downward-new-grounder
Language:Python00
factoring-pddl
Language:Python20
grounder
Classical Planning Grounder
Language:Python4 3 00
htg-domains
Hard-to-ground Planning Domains
Language:PDDL52
miniature-shame
Trabalho 2 - Sistemas Operacionais.
Language:C00
mm
Finding matrix multiplication algorithms using heuristic search
Language:C++00
powerlifted
Powerlifted Planner
Language:C++23 4 209

abcorrea's Repositories

abcorrea/powerlifted
Powerlifted Planner
Language:C++23 4 209
abcorrea/htg-domains
Hard-to-ground Planning Domains
Language:PDDL52
abcorrea/grounder
Classical Planning Grounder
Language:Python4 3 00
abcorrea/factoring-pddl
Language:Python20
abcorrea/abcorrea.github.io
Language:Ruby00
abcorrea/asp-grounding-planning
Language:PDDL02
abcorrea/downward
The Fast Downward domain-independent classical planning system
Language:Python00
abcorrea/downward-new-grounder
Language:Python00
abcorrea/miniature-shame
Trabalho 2 - Sistemas Operacionais.
Language:C00
abcorrea/mm
Finding matrix multiplication algorithms using heuristic search
Language:C++00
abcorrea/newground
Language:Python