Potassco

icon indicating a website link https://potassco.org/

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

Results 13 repositories owned by Potassco

guide

55
Stars
11
Forks
Watchers

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

verified publisher icon potassco

plasp

27
Stars
13
Forks
Watchers

🗺️ ASP planning tools for PDDL

verified publisher icon potassco

telingo

19
Stars
3
Forks
Watchers

🕰️ A solver for temporal programs.

verified publisher icon potassco