libcvc5parser1

automated theorem prover for SMT problems (parser runtime)

cvc5 is a tool for determining the satisfiability of a first order formula modulo a first order theory (or a combination of such theories). It is the fifth in the Cooperating Validity Checker family of tools (CVC, CVC Lite, CVC3, CVC4) but does not directly incorporate code from any previous version prior to CVC4.

cwl-utils

Utilities for using CWL documents

cwl-docker-extract - cache or pre-pull all software container images referenced in a CWL CommandLineTool or CWL Workflow (including all referenced CommandLineTools and sub-Workflows and so on).

libvbz-hdf-plugin0

VBZ compression plugin for nanopore signal data

VBZ Compression uses variable byte integer encoding to compress nanopore signal data.

libest3

Enrollment over Secure Transport (EST), library

The libEST library is used for secure certificate enrollment (EST, RFC 7030), and is compatible with Suite B certs (as well as RSA and DSA certificates). EST is a suitable replacement for the Simple Certificate Enrollment Protocol (SCEP, RFC 8894).

liblib60870-2

library for IEC 60870-5 based protocols in C

lib60870 is a feature rich and field proven implementation of the IEC 60870-5-101/104 protocol for client (master station) and server (slave or controlled station). The library implements all data types of the IEC 60870-5-101/104 specifications.

libhypre64-2.28.0

High Performance Matrix Preconditioners - 64-bit (bigint) Shared Library

Hypre is a set of matrix preconditioning libraries to aid in the solution of large systems of linear equations.