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.

GNU Parted is a program that allows you to create, destroy, resize, move, and copy disk partitions. This is useful for creating space for new operating systems, reorganizing disk usage, and copying data to new hard disks.

OpenJDK Java runtime

OpenJDK is a development environment for building applications, applets, and components using the Java programming language.

OpenJDK is a development environment for building applications, applets, and components using the Java programming language.

PDB2PQR is a Python software package that automates many of the common tasks of preparing structures for continuum electrostatics calculations. It thus provides a platform-independent utility for converting protein files in PDB format to PQR format. These tasks include: * Adding a limited number of missing heavy atoms to biomolecular structures * Determining side-chain pKas * Placing missing hydrogens * Optimizing the protein for favorable hydrogen bonding * Assigning charge and radius parameters from a variety of force fields