libghc-what4-prof
Solver-agnostic symbolic values support for issuing queries; profiling libraries
What4 is a generic library for representing values as symbolic formulae which
may contain references to symbolic values, representing unknown variables.
It provides support for communicating with a variety of SAT and SMT solvers,
including Z3, CVC4, CVC5, Yices, Boolector, STP, and dReal.
The data representation types make heavy use of GADT-style type indices
to ensure type-correct manipulation of symbolic values.
librpm9t64
RPM shared library
The RPM Package Manager (RPM) is a command-line driven package
management system capable of installing, uninstalling, verifying,
querying, and updating computer software packages.
librpmbuild9t64
RPM build shared library
The RPM Package Manager (RPM) is a command-line driven package
management system capable of installing, uninstalling, verifying,
querying, and updating computer software packages.
primecount
fast prime number counter C/C++ library
primecount is a free software program and C/C++ library that counts
the primes below an integer x <= 10^31 using highly optimized
implementations of the combinatorial prime counting algorithms.
libphdi-utils
Parallels Hard Disk image (PHDI) format access library -- Utilities
libphdi is a library to access the Parallels Hard Disk image (PHDI) format.