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. clingo clingo Public

    🤔 A grounder and solver for logic programs.

    C++ 603 80

  2. clasp clasp Public

    ⚙️ A conflict-driven nogood learning answer set solver

    C++ 117 16

  3. guide guide Public

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

    TeX 75 13

  4. asprilo asprilo Public

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

    Python 54 18

  5. clingcon clingcon Public

    ⛓️ Extension of clingo to handle constraints over integers

    C++ 25 4

  6. plasp plasp Public

    🗺️ ASP planning tools for PDDL

    C++ 27 13

Repositories

Showing 10 of 79 repositories
  • clingo-explaid Public

    Tools to aid the development of explanation systems using clingo

    potassco/clingo-explaid’s past year of commit activity
    Python 6 MIT 0 0 0 Updated Sep 18, 2024
  • viasp Public Forked from glaserL/viasp

    A visualization tool for clingo

    potassco/viasp’s past year of commit activity
    Python 6 MIT 3 18 0 Updated Sep 17, 2024
  • clasp Public

    ⚙️ A conflict-driven nogood learning answer set solver

    potassco/clasp’s past year of commit activity
    C++ 117 MIT 16 2 0 Updated Sep 17, 2024
  • fzn2lp Public

    🥞 A converter from FlatZinc into an ASP fact format

    potassco/fzn2lp’s past year of commit activity
    Rust 3 MIT 0 0 5 Updated Sep 16, 2024
  • anthem Public

    A translator between answer set programs and first-order logic

    potassco/anthem’s past year of commit activity
    Rust 0 MIT 1 14 3 Updated Sep 16, 2024
  • mapf-subgraph-system Public

    🕵️ Solving MAPF under map-to-subgraph transformation with SAT and ASP

    potassco/mapf-subgraph-system’s past year of commit activity
    C++ 6 MIT 1 0 0 Updated Sep 16, 2024
  • clingofmt Public

    ♻️ Experimental formatter for clingo code

    potassco/clingofmt’s past year of commit activity
    Rust 10 MIT 0 5 5 Updated Sep 16, 2024
  • clingo-lpx Public

    🧮 A simplistic simplex solver for checking satisfiability of a set of equations.

    potassco/clingo-lpx’s past year of commit activity
    C++ 4 MIT 0 2 0 Updated Sep 13, 2024
  • clinguin Public

    🐧 Clingo Interactive UI

    potassco/clinguin’s past year of commit activity
    Python 25 MIT 6 14 0 Updated Sep 12, 2024
  • clingo Public

    🤔 A grounder and solver for logic programs.

    potassco/clingo’s past year of commit activity
    C++ 603 MIT 80 14 0 Updated Sep 7, 2024
View all repositories

Most used topics

Loading…