Giters
Augusto B. Corrêa (abcorrea)

abcorrea

Geek Repo

16

followers

1

following

3

stars

Company:University of Basel, Switzerland

Github PK Tool:Github PK Tool

Augusto B. Corrêa's repositories

htg-domains

Hard-to-ground Planning Domains

Language:PDDLStargazers:5Issues:0Issues:0

powerlifted

Powerlifted Planner

Language:C++License:GPL-3.0Stargazers:23Issues:0Issues:0

asp-grounding-planning

Language:PDDLStargazers:0Issues:0Issues:0

factoring-pddl

Language:PythonStargazers:2Issues:0Issues:0

mm

Finding matrix multiplication algorithms using heuristic search

Language:C++Stargazers:0Issues:0Issues:0

abcorrea.github.io

Language:RubyStargazers:0Issues:0Issues:0

downward-new-grounder

Language:PythonLicense:GPL-3.0Stargazers:0Issues:0Issues:0

grounder

Classical Planning Grounder

Language:PythonStargazers:4Issues:0Issues:0

newground

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

downward

The Fast Downward domain-independent classical planning system

Language:PythonLicense:GPL-3.0Stargazers:0Issues:0Issues:0

miniature-shame

Trabalho 2 - Sistemas Operacionais.

Language:CStargazers:0Issues:0Issues:0