Skip to content
/ guide Public
forked from potassco/guide

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

wanko/guide

This branch is 11 commits behind potassco/guide:master.

Folders and files

NameName
Last commit message
Last commit date

Latest commit

f281bae · Nov 13, 2018
Nov 13, 2018
Oct 31, 2018
Oct 31, 2018
Oct 30, 2018
Mar 2, 2015
Oct 4, 2017
Oct 4, 2017
Feb 23, 2015
Oct 22, 2010
Mar 4, 2015
Mar 27, 2015
Apr 21, 2015
Oct 3, 2017
Jan 10, 2017
Apr 20, 2015
Nov 9, 2018
Oct 3, 2017
Apr 16, 2015
Nov 9, 2018
Oct 31, 2018
Feb 17, 2015
Oct 5, 2017
Oct 4, 2018
Apr 16, 2015
Nov 9, 2018
Oct 5, 2017
Mar 9, 2015
Nov 9, 2018
Nov 13, 2018
Oct 5, 2017
Jun 4, 2015
Mar 11, 2015
Nov 8, 2018
Apr 20, 2015
Oct 5, 2010
Oct 3, 2017
Nov 8, 2018
Apr 16, 2015

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.

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

  • TeX 100.0%