Beast code in Giters

Marco Roveri's repositories

optic

Language:C++GPL-2.0500

popf

Language:C++GPL-2.0300

ltlfuc

Language:C1 20

OMTNPlan

A python framework for Optimal Planning Modulo Theories

Language:PythonGPL-3.0100

tfd

Original version from: http://gki.informatik.uni-freiburg.de/tools/tfd/

Language:C++GPL-2.0100

aaltaf-uc

Unsatisfiable core for LTLF

Language:C++000

colin2

Language:C++GPL-2.0000

esercitazioni-prgm1-unitn-2020

Esercizi svolti per il corso di Programmazione I (Università degli Studi di Trento)

Language:C++000

heuristic-planning

Automated Planning Assignment Template

Language:Jupyter Notebook000

icaps2022.github.io

Website for ICAPS 2022

Language:HTMLNOASSERTION000

icaps2023.github.io

Web for the ICAPS 2023 conference in Prague

CC0-1.0000

latex-moodle

Language:TeXNOASSERTION000

numeric-fast-downward

GPL-3.0000

parallel-pdr

000

pddl-parser

:snake: Classical Planning in Python

Language:Python000

plansys2_tfd_plan_solver

Apache-2.0000

planutils

General library for setting up linux-based environments for developing, running, and evaluating planners.

MIT000

ros2_planning_system

This repo contains a PDDL-based planning system for ROS2.

Language:C++Apache-2.0000

ROSPlan

The ROSPlan framework provides a generic method for task planning in a ROS system.

Language:C++BSD-2-Clause000

safe-planner

A Single-Outcome Replanner for Computing Strong Cyclic Solutions in Fully Observable Non-Deterministic Domains

000

singularity-deploy

Build and deploy Singularity containers to GitHub releases, and pull with the singularity-hpc client

000

unified-planning

The AIPlan4EU Unified Planning Library

Language:PythonApache-2.0000