config-manager

manage directories with Arch, Bazaar, CVS, HTTP, FTP and/or Subversion

config-manager is designed to manage directory trees. The components of a directory may be specified by a location from any of:

gobjc++-6-powerpc-linux-gnuspe

GNU Objective-C++ compiler

This is the GNU Objective-C++ compiler, which compiles Objective-C++ on platforms supported by the gcc compiler. It uses the gcc backend to generate optimized code.

eclipse-pde

Eclipse Plug-in Development Environment (PDE)

The Eclipse Platform is an open and extensible platform for anything and yet nothing in particular. It provides a foundation for constructing and running integrated software-development tools. The Eclipse Platform allows tool builders to independently develop tools that integrate with other people's tools so seamlessly you can't tell where one tool ends and another starts.

liblightdm-qt5-3-0

LightDM Qt 5 client library

A Qt 5 based library for LightDM clients to use to interface with LightDM.

pki-tps-client

Certificate System - Token Processing System client

Certificate System (CS) is an enterprise software system designed to manage enterprise Public Key Infrastructure (PKI) deployments.
SAT solver with proof and core support

picosat

SAT solver with proof and core support

Despite the NP completeness of the satisfiabilty problem of Boolean formulas (SAT), SAT solvers are often able to decide this problem in a reasonable time frame. As all other NP complete problems are reducible to SAT, the solvers have become a general purpose tool for this class of problems.