sat4j
Efficient library of SAT solvers in Java
The aim of the SAT4J library is to provide an efficient library of SAT solvers
in Java. Compared to the OpenSAT project, the SAT4J library targets first
users of SAT "black boxes", willing to embed SAT technologies into their
application without worrying about the details. The SAT4J project also tries
to provide a basis of work for SAT researchers.
libsmbsharemodes-dev
development files for libsmbsharemodes
python3-tables
Hierarchical database for Python3 based on HDF5
PyTables is a package for managing hierarchical datasets and designed
to efficiently cope with extremely large amounts of data.
cachefilesd
support fscache on already mounted filesystem
FSCache is a generic caching manager in the Linux kernel which can be used
by network and other filesystems to cache data locally.
libcanberra-pulse-dbg
PulseAudio libcanberra backend detached debugging symbols
libaccinj64-11.3
NVIDIA ACCINJ Library (64-bit)
The Compute Unified Device Architecture (CUDA) enables NVIDIA
graphics processing units (GPUs) to be used for massively parallel
general purpose computation.