The core system of the Potassco suite, providing a powerful system for ASP solving.

A solver extending clingo with difference constraint solving capabilities.

An answer set solver for (extended) normal and disjunctive logic programs.

A solver for package dependencies.

A system for qualitative and quantitative optimization in ASP.

System for automatic documentation of logic programs.

An answer set solver for constraint logic programs.

A solver extending clingo with linear constraint solving capabilities.

A system for ASP-based visualization.

A system for interactive user interfaces based on ASP.

A framework to ease the creation of ASP extensions using meta-programming.

A solver for temporal programs.

A collection of tree-sitter grammars for the Clingo language.

Scripts to create benchmarks.

A translation-based CSP Solver.

Robotic intra-logistics with ASP.

A solver extending clingo with linear programming solving capabilities.

A system for translating flatzinc csp files into the aspif intermediate format to be read with clingcon.

Encodings implementing complex optimization criteria via meta programming.

A translator from the planning language PDDL to ASP.

Extension of clasp with a modified restart strategy.

A script to compute solver portfolios.

Solver for package dependencies.

A tool to compose musical harmonies with ASP.

A parallel version of clasp using MPI.

A modified clasp to support disjunctive programs.

A portfolio solver for ASP using machine-learning to configure clasp.

A tool that makes clasp's pre-processing functionalities available in a stand-alone tool.

A toolchain for visualizing clasp's solving process.

A translator from the action language BC to ASP facts.

A tool to convert dlv' output to valid gringo input.

A system for computing finite models of first-order theories.

A system to compute finite models of first-order theories.

A tool to generalize learned conflict constraints.

General target assignment and path finding using answer set programming.

A modified version of clasp to incorporate domain-specific heuristics.

A combination of clavis and hclasp.

An incremental version of clingo.

A prototypical constraint answer set programming system.

A translator for logic programs with constraint atoms to CASP.

A script to convert files in lparse format into something more readable.

A modified version of clingo for online handling of external data streams.

A modified version of clasp to handle pseudo-Boolean problems in OPB format.

A script to find optimal configurations for clasp.

A python wrapper for gringo and clasp.

A grounder implemented in python.

A system to interactively query ASP encodings.

A library for ROS to plan and monitor tasks.

Tool to detect symmetries in logic programs.

An extension of clasp that implements unsatisfiability-based optimization.

An extended clasp version that can extract learnt constraints.

Calculate a set of relevant answer sets using XOR constraints.

Solve logic programs with CSP constaints via translation.