Skip to content
@potassco

Potassco

Potassco, the Potsdam Answer Set Solving Collection, bundles tools for Answer Set Programming developed at the University of Potsdam

Pinned Loading

  1. guide guide Public

    🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.

    TeX 83 13

  2. clingo clingo Public

    🦉 A grounder and solver for logic programs.

    C++ 704 90

  3. clasp clasp Public

    ⚙️ A conflict-driven nogood learning answer set solver

    C++ 127 18

  4. asprilo asprilo Public

    🤖 ASPRILO, an intra-logistics benchmark suite for answer set programming

    Python 59 17

  5. clingcon clingcon Public

    ⛓️ Extension of clingo to handle constraints over integers

    C++ 30 5

  6. plasp plasp Public

    🗺️ ASP planning tools for PDDL

    C++ 29 14

Repositories

Showing 10 of 82 repositories
  • coom-suite Public

    🛠️ Python package to parse and solve product configuration problems specified in COOM using ASP

    potassco/coom-suite’s past year of commit activity
    Python 1 MIT 2 14 1 Updated Nov 4, 2025
  • benchmark-tool Public

    🏎️ tool for benchmarking solvers

    potassco/benchmark-tool’s past year of commit activity
    Answer Set Programming 1 MIT 7 3 1 Updated Nov 4, 2025
  • clasp Public

    ⚙️ A conflict-driven nogood learning answer set solver

    potassco/clasp’s past year of commit activity
    C++ 127 MIT 18 2 0 Updated Nov 3, 2025
  • clingo Public

    🦉 A grounder and solver for logic programs.

    potassco/clingo’s past year of commit activity
    C++ 704 MIT 90 9 0 Updated Oct 29, 2025
  • tree-sitter-clingo Public

    🌳 Clingo grammar for tree-sitter

    potassco/tree-sitter-clingo’s past year of commit activity
    JavaScript 8 MIT 5 1 0 Updated Oct 29, 2025
  • clingo-explaid Public

    💡 Tools to aid the development of explanation systems using clingo

    potassco/clingo-explaid’s past year of commit activity
    Python 10 MIT 0 7 1 Updated Oct 24, 2025
  • anthem Public

    A translator between answer set programs and first-order logic

    potassco/anthem’s past year of commit activity
    Rust 12 MIT 4 32 7 Updated Oct 23, 2025
  • python-project-template Public template

    📄 Template for python based projects.

    potassco/python-project-template’s past year of commit activity
    Python 6 MIT 5 2 0 Updated Oct 20, 2025
  • libpotassco Public

    🧱 A utility library used by various potassco projects

    potassco/libpotassco’s past year of commit activity
    C++ 3 6 1 0 Updated Oct 20, 2025
  • clinguin Public

    🐧 Clingo Interactive UI

    potassco/clinguin’s past year of commit activity
    Python 28 MIT 8 38 2 Updated Oct 7, 2025