Skip to content
@aibasel

Artificial Intelligence Group - University of Basel

Pinned Loading

  1. downward downward Public

    The Fast Downward domain-independent classical planning system

    C++ 401 206

  2. lab lab Public

    A Python library for evaluating planners and other solvers.

    Python 36 19

Repositories

Showing 10 of 15 repositories
  • downward Public

    The Fast Downward domain-independent classical planning system

    aibasel/downward's past year of commit activity
    C++ 401 GPL-3.0 206 0 22 Updated Sep 10, 2026
  • downward-website Public

    Hosting the website of Fast Downward

    aibasel/downward-website's past year of commit activity
    0 0 0 0 Updated Sep 10, 2026
  • bib Public

    Bibtex files with planning-related references

    aibasel/bib's past year of commit activity
    TeX 9 18 0 2 Updated Sep 9, 2026
  • visualizer Public
    aibasel/visualizer's past year of commit activity
    Python 1 3 0 1 Updated Aug 31, 2026
  • downward-benchmarks Public
    aibasel/downward-benchmarks's past year of commit activity
    PDDL 51 18 0 2 Updated Aug 18, 2026
  • lab Public

    A Python library for evaluating planners and other solvers.

    aibasel/lab's past year of commit activity
    Python 36 GPL-3.0 19 3 3 Updated Jul 31, 2026
  • pyperplan Public

    A lightweight STRIPS planner written in Python.

    aibasel/pyperplan's past year of commit activity
    PDDL 129 GPL-3.0 53 2 0 Updated Jun 16, 2026
  • verifinsta Public

    A tool for verifying if a planning instance belongs to a planning domain.

    aibasel/verifinsta's past year of commit activity
    Python 0 0 0 0 Updated May 15, 2026
  • formally-represented-domains Public

    PDDL domains extended with axioms that characterize the legal instances.

    aibasel/formally-represented-domains's past year of commit activity
    PDDL 0 0 0 0 Updated May 13, 2026
  • instance-generator Public
    aibasel/instance-generator's past year of commit activity
    Python 0 1 0 0 Updated Aug 25, 2025
View all repositories

Most used topics

Loading…