This package provides a clingo-based visualizer for graphs defined as logic programs.

Clingcon is an answer set solver for constraint logic It extends Clingo with constraint solving capacities for constraints over finite domain integer variables, using techniques from the area of SMT, like conflict-driven learning and theory propagation.

This package provides tools to develop explanation systems with clingo. It allows extracting minimal unsatisfiable subsets and unsatisfiable constraints.

This package provides Lua bindings to the clingo package, making it so that you can write ASPs through Lua code.

This package provides a system to solve dynamic temporal logic programs based on clingo.

Clingo computes answer sets for a given logic program.

Clingo-LPX is an extension to Clingo that models constraints and goals over linear (in)equations.

This package provides Lua bindings to the clingo package, making it so that you can write ASPs through Lua code.

asprin is a general framework for optimization in ASP, that allows for computing optimal stable models of logic programs by means of preferences. Some preference types are already predefined, but more can be added as logic programs.

libpotassco is a utility library providing functions and datatypes for

• parsing, writing, and converting logic programs in aspif and smodels format,

• passing information between a grounder and a solver,

• and defining and parsing command-line options and for creating command-line applications.

Furthermore, it comes with the tool lpconvert that converts either between aspif and smodels format or to a human-readable text format.

This package provides additional functions to go along with the Python bindings for Clingo.

Clorm provides an ORM interface to the ASP solver clingo. Its goal is to make integration of clingo into Python programs easier.

This package allows users to add the clingo-dl propagator as a theory to clingo from Python code. It also supports running clingo-dl directly from the python command line.

This package provides a system to solve probabilistic logic programs with clingo. It can solve the reasoning tasks of finding the most probable model as well as finding all models and their probabilities.

This package allows users to add the clingcon propagator as a theory to clingo from Python code.

Clintest is a framework for unit testing clingo programs. It provides various components to assemble the most commonly used tests quickly, but also works fine along custom-built test. Clintest monitors the test outcome while solving to abort the search for solutions once the outcome is certain.

apcupsd can be used for power management and controlling most of APC’s UPS models. apcupsd works with most of APC’s Smart-UPS models as well as most simple signalling models such a Back-UPS, and BackUPS-Office.

GNU Enscript is a program to convert ASCII text files to PostScript, HTML or RTF formats, to be stored in files or sent immediately to a printer. It also includes the capability to perform syntax highlighting for several different programming languages.

Highlight converts source code to HTML, XHTML, RTF, LaTeX, TeX, SVG, BBCode and terminal escape sequences with colored syntax highlighting. Language definitions and color themes are customizable.

fmt (formerly cppformat) is a formatting library for C++. It can be used as a safe alternative to printf or as a fast alternative to IOStreams.

fmt (formerly cppformat) is a formatting library for C++. It can be used as a safe alternative to printf or as a fast alternative to IOStreams.

GNU a2ps converts almost anything to a PostScript file, ready for printing. It accomplishes this by being able to delegate files to external handlers, such as Groff and Gzip. It handles as many steps as is necessary to produce a pretty-printed file. It also includes some extra abilities for special cases, such as pretty-printing -help output.

fmt (formerly cppformat) is a formatting library for C++. It can be used as a safe alternative to printf or as a fast alternative to IOStreams.

Ansifilter handles text files containing ANSI terminal escape codes. The command sequences may be stripped or be interpreted to generate formatted output (HTML, RTF, TeX, LaTeX, BBCode, Pango).