Thanks to visit codestin.com
Credit goes to github.com

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

 

History

447 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

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

Contributors 11

Languages