inca is a prototypical constraint answer set programming system. Like clingcon, it extends the modelling language of ASP with constraints over finite domain integer variables. Unlike clingcon, inca adopts lazy nogood generation to fully int…
Answer Set Programming (ASP) offers a simple and powerful modeling language to solve combinatorial problems. With our tools you can concentrate on an actual problem, rather than a smart way of implementing it. Get started! To get a quick fi…
University of Texas at Austin, USA University of Calabria and the Vienna University of Technology, Italy and Austria Department of Mathematics and Computer Science of the University of Calabria, Italy Department of Mathematics and Computer
by Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan and Claypool December 2012, 238 pages, doi:10.2200/S00457ED1V01Y201211AIM019, BiBTeX Availab…
Current answer set solvers work on variable-free programs. Hence, a grounder is needed that, given an input program with first-order variables, computes an equivalent ground (variable-free) program. gringo is such a grounder. Its output can…
This guide for clingo version 6 is a work in progress. If you are using an earlier clingo release, please refer to our PDF guide. The Potsdam Answer Set Solving Collection (gringo, clasp, and the integrated ASP system clingo) empowers users…
Answer Set Programming (ASP) offers a simple and powerful modeling language to solve combinatorial problems. With our systems you can concentrate on an actual problem, rather than a smart way of implementing it. Clingo is a powerful system
claspfolio is a portfolio solver for ASP that makes use of machine-learning techniques for performing algorithm selection, choosing among different configurations of clasp. In 2009, claspfolio was the best single-system solver in the global…
claspre offers the pre-processing functionalities of clasp in a stand-alone tool. Recent clasp version offer this via option --pre. As a second functionality, claspre allows for extracting static and dynamic features of logic programs. The
Coala is a python tool that translates BC into ASP facts. For earlier versions for other action language see Legacy. If you found a bug or would like to leave a comment, please write an email to christian.schulz-hanke( at )cs.uni-potsdam.de…
This section provides an overview of the input language of clingo, illustrating its constructs with concise examples. Examples can be executed in the browser - just hit the play button in the top right corner. We assume some familiarity wit…