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 86 14

  2. clingo clingo Public

    🦉 A grounder and solver for logic programs.

    C++ 746 92

  3. clasp clasp Public

    ⚙️ A conflict-driven nogood learning answer set solver

    C++ 138 20

  4. clingcon clingcon Public

    ⛓️ Extension of clingo to handle constraints over integers

    C++ 34 6

  5. clorm clorm Public

    🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner

    Python 65 5

  6. clingraph clingraph Public

    🕸️ A visualizer for graphs defined as logic programs

    Python 31 7

Repositories

Showing 10 of 88 repositories
  • coom-benchmarks Public

    Benchmark sets for COOM language

    potassco/coom-benchmarks’s past year of commit activity
    Python 1 MIT 0 0 0 Updated Feb 11, 2026
  • potassco.github.io Public

    ℹ️ The Potassco website

    potassco/potassco.github.io’s past year of commit activity
    HTML 4 MIT 8 10 1 Updated Feb 11, 2026
  • aspen Public

    A tree-sitter powered tool for analyzing and transforming syntax trees using Answer Set Programming (ASP).

    potassco/aspen’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Feb 11, 2026
  • tree-sitter-metasp Public

    A tree-sitter language for the metasp ASP metaprogramming system.

    potassco/tree-sitter-metasp’s past year of commit activity
    JavaScript 0 MIT 0 0 0 Updated Feb 11, 2026
  • clasp Public

    ⚙️ A conflict-driven nogood learning answer set solver

    potassco/clasp’s past year of commit activity
    C++ 138 MIT 20 2 0 Updated Feb 11, 2026
  • libpotassco Public

    🧱 A utility library used by various potassco projects

    potassco/libpotassco’s past year of commit activity
    C++ 4 6 1 0 Updated Feb 10, 2026
  • benchmark-tool Public

    🏎️ tool for benchmarking solvers

    potassco/benchmark-tool’s past year of commit activity
    Python 3 MIT 7 2 0 Updated Feb 10, 2026
  • flingo Public

    Solver for ASP plus conditional linear constraints with founded variables

    potassco/flingo’s past year of commit activity
    Python 5 MIT 0 10 0 Updated Feb 10, 2026
  • xpit Public

    ASP based explanation architecture

    potassco/xpit’s past year of commit activity
    Python 1 MIT 0 2 0 Updated Feb 10, 2026
  • 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 3 MIT 2 13 1 Updated Feb 10, 2026
View all repositories