boolector

SMT solver for bit-vectors and arrays

Boolector is an efficient SMT solver for the quantifier-free theory of bit-vectors in combination with the quantifier-free extensional theory of arrays.

xfonts-thai-nectec

Thai fixed fonts for X from Nectec

This package provides one set of Thai TIS-620 pseudo-monospace (with zero-width combining character) bitmap fonts for X developed by NECTEC, with complete set of normal, bold, italic, and bold-italic faces.

ruby-benchmark-suite

enhancements to the standard library benchmark.rb

This package contains a command line tool for running multiple benchmarks against multiple rubies.

python3-pytest-mpi

a plugin for pytest testing MPI-related code (Python3)

pytest-mpi provides a number of things to assist with using pytest with MPI-using code, specifically: - Displaying of the current MPI configuration (e.g. the MPI version, the number of processes) - Sharing temporary files/folders across the MPI processes - Markers which allow for skipping or xfailing tests based on whether the tests are being run under MPI
game inspired by Dynablaster (dummy upgrade package)

xblast

game inspired by Dynablaster (dummy upgrade package)

xfonts-bolkhov-isocyr-misc

Character-cell ISO-8859-5 encoded Cyrillic fonts for X (Cyr-RFX collection)

This package provides a standard set of character-cell low-resolution Cyrillic fonts. These are ISO-8859-5 fonts. In most cases it is desirable to have the X font server (xfs) and/or an X server installed to make the fonts available to X clients.