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.

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.

Clingo computes answer sets for a given logic program.

plasp is a tool collection for planning in answer set programming. It supports a subset of PDDL 3.1 and SAS 3.

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

Clinguin is a graphical user interface toolkit for clingo, which allows user interfaces to be specified entirely as a logic program.

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

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.

This package provides a major mode for editing answer set programs, in particular ones that can be solved by clingo.

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 Trueprint translates C source code files as PostScript files. In addition to the basic source code output, it can also perform diff-marking, indentation counting, function and file indices and more.

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.

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).

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.

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.

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.

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.

GNU source-highlight reads in a source code file and produces an output file in which the keywords are highlighted in different colors to designate their syntactic role. It supports over 150 different languages and it can output to 8 different formats, including HTML, LaTeX and ODF. It can also output to ANSI color escape sequences, so that highlighted source code can be seen in a terminal.

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.

This package provides the command line tool ptouch-print to print labels on Brother P-Touch printers. It also contains udev rules for non-root access for the known P-Touch printers. This does not require CUPS to work as the printer is accessed directly via libusb.

ipp-usb implements an HTTP reverse proxy, backed by the IPP-over-USB connection to the device. This is because IPP-over-USB implementations which simply relay a TCP connection to USB do not work.

Robocut is a simple graphical program that allows you to cut graphics with Graphtec and Sihouette plotting cutters using an SVG file as its input.