8000 GitHub - potassco/guide: 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

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

Contributors 11

Languages

0