compelling tile-placement puzzle game

primrose

compelling tile-placement puzzle game

Primrose is a puzzle game by Jason Rohrer and a departure from his previous games.

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)