Skip to content
/ guide Public

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

License

Notifications You must be signed in to change notification settings

potassco/guide

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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

About

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

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages