Poedit is a GUI frontend to the GNU gettext utilities and a catalog editor/source code parser. It helps with translating applications into other languages.

PolicyKit-gnome provides a D-Bus session bus service that is used to bring up authentication dialogs used for obtaining privileges.

Polkit-qt is a library that lets developers use the PolicyKit API through a Qt-styled API. It is mainly a wrapper around QAction and QAbstractButton that lets you integrate those two component easily with PolicyKit.

Polkit is an application-level toolkit for defining and handling the policy that allows unprivileged processes to speak to privileged processes. It is a framework for centralizing the decision making process with respect to granting access to privileged operations for unprivileged applications.

hyprpolkitagent is a polkit authentication daemon written in QT/QML. It is required for GUI applications to be able to request elevated privileges.

Polkit-qt is a library that lets developers use the PolicyKit API through a Qt-styled API. It is mainly a wrapper around QAction and QAbstractButton that lets you integrate those two component easily with PolicyKit.

Gflags is a C++ library to parse command-line flags. It differs from other such libraries in that command-line flag definitions can be scattered around the source code, and not just listed in one place such as main. This means that a single source-code file will define and use flags that are meaningful to that file. Any application that links in that file will get the flags, and the gflags library will automatically handle that flag appropriately.

Argtable3 is an ANSI C library that simplifies parsing GNU-style command-line options. It provides a declarative API to define your command-line syntax, and because it's built on the standard getopt library, it ensures 100% GNU-compliant behavior. Argtable3 automatically generates the error-handling logic and usage descriptions that are essential for any robust command-line program, saving you from tedious boilerplate code.

This is the popt(3) command line option parsing library. While it is similar to getopt(3), it contains a number of enhancements, including:

- popt is fully reentrant;

- popt can parse arbitrary argv[] style arrays while getopt(3) makes this quite difficult;

- popt allows users to alias command line arguments;

- popt provides convenience functions for parsing strings into argv[] style arrays.

GNU Gengetopt is a program to generate a C/C++ function for parsing command-line options using the getopt_long function found in GNU libc, removing some of the tedium of this task for large programs that accept many options. The options parsed by the generated function may be in both short (e.g., "-h") and long ("--help") formats, as specified by the GNU coding standards. Additionally, the output of the standard options "--help" and "--version" is generated automatically.

This package provides a sophisticated chroot, build and flash tool to develop and install postmarketOS.

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

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

clasp is an answer set solver for (extended) normal and disjunctive logic programs. The primary algorithm of clasp relies on conflict-driven nogood learning, a technique that proved very successful for satisfiability checking (SAT).

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.

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.

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

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

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.

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

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.

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

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

Clingo-DL is an extension to Clingo that models constraints over difference logic.