Skip to content
View r-eifler's full-sized avatar
1 follower · 1 following

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report r-eifler

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. downward-xaip downward-xaip Public

    Forked from aibasel/downward

    The Fast Downward domain-independent classical planning system with extension for goal conflict explanations

    C++ 3 2

  2. IPEXCO-frontend IPEXCO-frontend Public

    TypeScript

  3. IPEXCO-backend IPEXCO-backend Public

    TypeScript 1

  4. icaps2023.github.io icaps2023.github.io Public

    Forked from icaps2023/icaps2023.github.io

    Web for the ICAPS 2023 conference in Prague

    HTML

  5. symbolic-osp symbolic-osp Public

    Forked from speckdavid/symbolic-osp

    Sym-Osp is a state-of-the-art optimal oversubscription planner based on symbolic search.

    C

  6. pyperplan pyperplan Public

    Forked from aibasel/pyperplan

    A lightweight STRIPS planner written in Python.

    PDDL