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

  2. clingo clingo Public

    🦉 A grounder and solver for logic programs.

    C++ 837 103

  3. clasp clasp Public

    ⚙️ A conflict-driven nogood learning answer set solver

    C++ 151 21

  4. clingcon clingcon Public

    ⛓️ Extension of clingo to handle constraints over integers

    C++ 36 6

  5. clorm clorm Public

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

    Python 73 5

  6. clingraph clingraph Public

    🕸️ A visualizer for graphs defined as logic programs

    Python 34 7

Repositories

Showing 10 of 102 repositories
  • website Public

    ℹ️ The Potassco website.

    potassco/website's past year of commit activity
    HTML 0 MIT 0 2 0 Updated Sep 28, 2026
  • clingo Public

    🦉 A grounder and solver for logic programs.

    potassco/clingo's past year of commit activity
    C++ 837 MIT 103 12 1 Updated Sep 28, 2026
  • clasp Public

    ⚙️ A conflict-driven nogood learning answer set solver

    potassco/clasp's past year of commit activity
    C++ 151 MIT 21 3 0 Updated Sep 28, 2026
  • flaspland-encodings Public

    🛤️ A collection of encodings for our flaspland tool, which bridges the gap between Flatland-RL and clingo.

    potassco/flaspland-encodings's past year of commit activity
    Answer Set Programming 0 1 0 2 Updated Sep 28, 2026
  • constraint-handler Public

    📐 Handle acyclic constraints over variables with large/infinite domains

    potassco/constraint-handler's past year of commit activity
    Python 3 MIT 0 76 2 Updated Sep 28, 2026
  • anthem Public

    A translator between answer set programs and first-order logic

    potassco/anthem's past year of commit activity
    Rust 16 MIT 5 33 8 Updated Sep 25, 2026
  • asplain Public

    💬 Tool for contrastive explanations in ASP using abduction

    potassco/asplain's past year of commit activity
    Python 2 MIT 1 8 2 Updated Sep 25, 2026
  • clingo-explaid Public

    💡 Tools to aid the development of explanation systems using clingo

    potassco/clingo-explaid's past year of commit activity
    Python 12 MIT 0 8 5 Updated Sep 25, 2026
  • fastlane Public

    🛣️ A Framework for Answer Set Programming-based Large Neighborhood Search

    potassco/fastlane's past year of commit activity
    Python 1 MIT 0 0 0 Updated Sep 24, 2026
  • benchmark-set-selection-tool Public

    A tool to sample a benchmark set from a larger base set (or distribution) comprising a large variety of instances.

    potassco/benchmark-set-selection-tool's past year of commit activity
    Python 0 MIT 0 0 0 Updated Sep 22, 2026
View all repositories