LoIDE is an open-source web-based IDE for Logic Programming. It is modular and extensible, and it has been developed using modern technologies and languages ...| potassco.org
EmbASP is an open-source framework for embedding Logic Programming into external systems. It has been conceived to help developers design and implement, on d...| potassco.org
Telingo is a solver for temporal programs. It leaverages clingo’s input language and scripting cababilities to parse and solve programs with temporal formula...| potassco.org
What is asprilo?| potassco.org
clingo[LP] extends the ASP solver clingo with linear constraints as dealt with in Linear Programming (LP).| potassco.org
The system clingo[DL] provides a seamless way to integrate a subset of the theory of linear constraints, namely difference logic, into ASP. It deals with con...| potassco.org
gtapf is a generalization of Target Assignment and Path Finding (TAPF) planning problems for which we propose solutions using ASP.| potassco.org
A sum aggregate consists of a set of elements consisting of a tuple together with a condition and a guard. Whenever the condition of an element is true wrt a...| potassco.org
fz2aspif translates flatzinc files into ground aspif files to be used with clingcon. As clingcon currently only supports linear and distinct constraints, fz2...| potassco.org
Wasp is an ASP solver handling disjunctive logic programs under the stable model semantics. It combines techniques originally introduced for SAT solving with...| potassco.org