javier-romero

aspStream

A simple approach to stream reasoning in clingo

aspT

ASP with Time

oclingo

Declarative online solving with clingo

asp-planning-benchmarks

A repository of ASP planning benchmarks

asprilo-seminar

asprin

A general framework for qualitative and quantitative optimization in answer set programming

benchmark-tool

Git-mirror of the benchmark-tool

clindoc

Documentation framework for ASP, from user to contributor

clingo

🤔 A grounder and solver for logic programs.

clingraph

A visualizer for graphs defined as logic programs

clinguin-course-scheduling

Course scheduling project using clinguin

conda

📦 Conda recepies for potassco projects.

course

The main repository integrating the LaTeX beamer-based slides

eclingo

Epistemic logic programming with clingo

exercises-in-asp

A first approach towards automatic generation or testing of exercises in ASP

guide

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

Hello-World

This is going to be amazing

notebook

plasp

Translate PDDL to ASP

potassco-asp-course.github.io

The webpage of the Potassco ASP course.

potassco.github.io

The Potassco website