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
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.