Skip to content

Latest commit

 

History

History
21 lines (13 loc) · 687 Bytes

README.md

File metadata and controls

21 lines (13 loc) · 687 Bytes

The Potassco Guide

The Potassco guide provides an introduction to the Answer Set Programming tools gringo, clasp, and clingo, developed at the University of Potsdam.

This guide, for one, aims at enabling ASP novices to make use of the aforementioned tools. For another, it provides a reference of the tools' features that ASP adepts might be tempted to exploit.

Building

Before building this paper, the following packages need to be installed:

A Makefile is provided to build the paper:

$ make