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

pddl-instances

106
Stars
52
Forks
Watchers

🌍 PDDL instances covering the International Planning Competitions

verified publisher icon potassco

aspcud

22
Stars
4
Forks
Watchers

A solver for package problems in CUDF format

verified publisher icon potassco

asprilo

34
Stars
15
Forks
Watchers

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

verified publisher icon potassco

asprilo-encodings

20
Stars
9
Forks
Watchers

Collection of ASP encodings for asprilo

verified publisher icon potassco

asprin

16
Stars
3
Forks
Watchers

Qualitative and quantitative optimization in answer set programming

verified publisher icon potassco

clasp

89
Stars
10
Forks
Watchers

⚙️ A conflict-driven nogood learning answer set solver

verified publisher icon potassco

clingcon

21
Stars
3
Forks
Watchers

⛓️ Extension of clingo to handle constraints over integers

verified publisher icon potassco

clingo

586
Stars
77
Forks
Watchers

🤔 A grounder and solver for logic programs.

verified publisher icon potassco

clingo-rs

29
Stars
9
Forks
Watchers

🗝️ Rust bindings to the clingo library

verified publisher icon potassco

clorm

30
Stars
3
Forks
Watchers

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

verified publisher icon potassco